Update language server, and take some updates from the upstream repo#8

Merged

iamcco merged 3 commits intococ-extensions:masterfrom davidroeca:update-lang-server

Jun 21, 2020

+1,211-832

Commits on Jun 12, 2020