[server] Introduced diagram language server

JanKoehnlein commented 5 years ago

Removed language server extensions, as they don't allow multiple languages with diagrams in the same language server.
Moved common stuff from lanuguage server extension to diagram language server, diagram server manager and diagram updater.
Introduced a new DiagramServerModule for the language server's injector
Delegate to language specific diagram factories
Introduce diagramType to allow multiple different diagrams per language, added it to RequestModelAction
Moved Ide* stuff to Sync* or made it default, as the impls are defensive towards availability of diagram/openInTextEditor
depend on Xtext 2.16-SNAPSHOT for LanguageServer.getLanguagServerAccess()
added configurable launcher scripts
Redesigned IdeHighlightService to use the injectors properly
Some fixes for IssueProvider
Intorduced DiagramOptions

spoenemann commented 5 years ago

I found another class without license header: WebSocketMessageSender. While you're at it, could you fix that, too?

JanKoehnlein commented 5 years ago

Merged. Thanks for reviewing.

eclipse-sprotty / sprotty-server