chore(*): update to lean 3.16.0 (#3016)
The only change relevant to mathlib is that the precedence of unary `-` has changed, so that `-a^n` parses as `-(a^n)` and not (as formerly) `(-a)^n`.
Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
