major refactoring
An IEvalElement now generates an EvaulateFormulasCommand for a single formula and a StateId. Right now these are composed and send together instead of building a single command for multiple formulas. Here we should get rid of the Lists used, since there is exactly one instance of the command per formula.
The EvaluateFormulasCommand now extends EvaluationCommand. It is an abstract class that ensures there is a method that returns a result.
This commit also introduces the interface IEvaluationResult which should be a superclass of EvaluationResult and a future LtlModelCheckingResult. For now it holds a value and the StateId, this may need some work though.
add a dummy for now
basic view 1/?
not as basic a view part 2/?
use strings as formulas instead of prolog terms, add box to add formulas
change classes, add edit button
really do ltl checking now
use a classicalb parser
use the status the LtlCheckingCommand returns as result
forgot to commit that file
implemented ltl commands and ltl result, they implement the new interfaces
the LTL formula view now reacts if the state is changed; refactoring: use a tuple of an LTL object and a status-String instead of keeping two seperate lists
added caching mechanism
Merge branch 'develop' into feature/ltlMC-rebased

Conflicts:
	de.prob.core.kernel/src/main/groovy/de/prob/animator/domainobjects/CSP.groovy
	de.prob.core.kernel/src/main/groovy/de/prob/statespace/Trace.groovy
	de.prob.core.kernel/src/main/java/de/prob/animator/command/EvaluateFormulasCommand.java
	de.prob.core.kernel/src/main/java/de/prob/animator/command/EvaluateRegisteredFormulasCommand.java
	de.prob.core.kernel/src/main/java/de/prob/animator/command/ExploreStateCommand.java
	de.prob.core.kernel/src/main/java/de/prob/animator/domainobjects/EvaluationResult.java
	de.prob.core.kernel/src/main/java/de/prob/statespace/StateSpace.java
	de.prob.core.kernel/src/main/java/de/prob/visualization/StateSpaceData.java
	de.prob.core.kernel/src/main/java/de/prob/web/views/StateInspector.java
	de.prob.core.kernel/src/main/java/de/prob/web/views/ValueOverTime.java
	de.prob.core.kernel/src/main/java/de/prob/webconsole/servlets/visualizations/ValueOverTimeSession.java
	de.prob.core.kernel/src/test/java/de/prob/animator/command/EvaluateFormulasCommandTest.java
don't call setCurrentState and do_ltl_modelcheck in java, but call a predicate that takes care of it
Merge remote-tracking branch 'origin/develop' into feature/ltlMC-rebased
deletes my refactored class (that is replaced by IEvalResult)