Pull request #77: Adapt to ELK 0.7.0 and KLighD master changes, implement a Pragmatics language server
Merge in KIELER/pragmatics from keith to master
* commit 'cc5a0e6e7c1eaf4ac9762cd5b33418620eddd97d': (23 commits)
use KLighD nightly master updatesite again
build: incremented tycho, xtext, and ELK versions in maven build
build: adapted to Xtext 2.22 and Sprotty 0.9
language.server: Adopt renaming in klighd.
build: corrected pragmatics LS ID
build: added langauge server to update site
build: updated target platform versions
build: removed kgraph.language.server from target platform.
pragmatics.language.server: added a language server launch configuration for the Pragmatics project supporting the KGraph and Elk Graph language with Sprotty diagrams and interactive layout for Elk Graphs.
grana: Removed check for UNDEFINED EdgeLabelPlacement.
graphs.klighd: adapted to KLighD change due to ELK 0.8.0 change in default label placement
graphs.textcases: Adopt elk nightly, fixed graph cleaner.
grana.ide, config.ide: Fixed content assist.
Added graphs.klighd.ui to kgraph feature and build.
graphs.klighd.ui: Removed unnecessary xtend nature.
Targetplatform: Updated klighd update site.
graphs.klighd: Use class name to generate synthesis option id.
graphs.klighd: Syntheses use interactive layout run if necessary.
Added id to synthesis options.
build: Added language server stuff to target platform
...
