Input from Christian incorporated
Addining first version of the examples compendium
Addining second version of the examples compendium
Fix: Logfile for RT logger was being set incorrectly
Merge branch 'origin/development'

Conflicts:
	core/vdm/src/main/java/org/destecs/vdm/SimulationManager.java
Merge commit '5ea2b07b78e462110090798c8c84dd9275f575b5' into development
Bump version numbers to 2.0.0
Small changes to the .nsi script to make it work on jwc’s machine
Merge commit 'db98019550417447546ca53a598deeabb892d5f5' into release

Conflicts:
	ide/product/src/main/resources/installer/destecs.nsi
Start parameterising the nsi script for use with the maven resource filter
Make the script for the crescendo install generate-able using maven.
See the comments in ide/product/pom.xml for how it works.