preparing v3.1.0 (in order to reflect the dependency to xtext 2.7.x)
Merge branch 'master' of git@github.com:diverse-project/k3.git