Review of User Manual by SWO
Test updating on Crescendo
updated control libs
New version of the Crescendo user manual. Should now be in line with what Sune thought was missing
More fixes
no message
no message
Incorporating input from Nick
Merge branch 'origin/pgl'
updated octave stuff
Update pom.xml to use new buildserver, plus other cleanups
Input from Christian incorporated
Addining first version of the examples compendium
Addining second version of the examples compendium
fixed wrong script syntax
Upgraded DESTECS to match overture.

sync required

overturetool/overture@88ff4e3c2fe977c1ce6b907b94f77c82942e22ac
fixed issue with profile ordering in the ide pom
Fix: Logfile for RT logger was being set incorrectly
upgraded RTLogger interface usage
Merge branch 'origin/development'

Conflicts:
	core/vdm/src/main/java/org/destecs/vdm/SimulationManager.java