Lean lsp highlighting#83

Tammo0987 wants to merge 14 commits intomappingimpermeable/waterproof-editor:mappingfrom

lean-lsp-highlightingimpermeable/waterproof-editor:lean-lsp-highlightingCopy head branch name to clipboard