nightly-2021-07-20

Changes since nightly-2021-07-17:

Full commit log

• 7e317d2 feat: term info on where declarations
• b76dd1a feat: go-to-definition for local variables
• df57b43 fix: go-to-type on parameterized types
• 18becc7 fix: plain term goal on binders
• 4a4b4c1 fix: mkAtomFrom: generate synthetic position like other *From functions
• 904cfd6 perf: extract cold path in lean_alloc_small
• 16fbbf9 perf: extract cold paths in lean_free_small and mark noinline
• 52810bd chore: remove dead header
• 8637220 fix: make precedence mandatory for mixfix commands
• caa8f7f chore: expose Substring.prev/next
• f07e49a chore: parse names properly
• 55a506b chore: adapt test
• 03699cd feat: uniformly split idents
• 7aca461 fix: hovers on elabFieldName fields
• bcde967 feat: add dot hover test
• b2d712a fix: Substring.splitOn