removed model from printProlog method in IEvalElement
added new commands for the evalstore
adapted test case
Merge remote-tracking branch 'origin/develop' into develop

Conflicts:
	de.prob.core.kernel/src/main/java/de/prob/animator/domainobjects/ClassicalB.java
	de.prob.core.kernel/src/main/java/de/prob/animator/domainobjects/EventB.java
	de.prob.core.kernel/src/main/java/de/prob/statespace/StateSpace.java