improved template file handling
Merge branch 'develop' of github.com:bendisposto/prob2 into develop

Conflicts:
	de.prob.core.kernel/src/main/java/de/prob/web/views/BMotionStudioSession.java
	de.prob.core.kernel/src/main/resources/bmsexamples/lift.html
	de.prob.core.kernel/src/main/resources/ui/bmsview/BMotionStudio.js
	de.prob.core.kernel/src/main/resources/ui/bmsview/index.html