Release notes for v2.1.2
[maven-release-plugin] prepare release Release/2.1.2
Bump ide/ to version 2.1.2
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 2.1.3-SNAPSHOT
Merge remote-tracking branch 'origin/development' into ldc/quickies
Fix handling of VDMTools path.

[Issue: #373]
Merge branch 'ldc/quickies' into development.

close #373
close #276