Update MANIFEST.MF
Update .gitignore
initital commit of new bmotion studio version
Merge branch 'feature/bmotion2' into develop
fixed path to jquery lib
removed experimental observer support
manifests. These work for me
Merge remote-tracking branch 'origin/develop' into develop
reverting build script change to see if that causes the problems
Merge remote-tracking branch 'origin/develop' into feature/eventBtranslating

Conflicts:
	de.prob.core.kernel/META-INF/MANIFEST.MF
	de.prob.core.rodin/META-INF/MANIFEST.MF
PROBCORE-404 It works for scheduler. Needs testing for other models with more complicated proofs.