PROBCORE-307 PROBCORE-311 Working on integrating the Predicate View into eclipse in a better way
Working on PROBCORE-307 and PROBCORE-309 working on Predicate servlet.
PROBCORE-309 Created simple way to serialize EvalElements so that they can be sent as strings
PROBCORE-181 Worked on the Value vs time visualization as well as how to communicate with the instance (PROBCORE-309)
PROBCORE-309 Working on framework for communication between ProB Visualizations and Eclipse. For the predicate viz (PROBCORE-307)
PROBCORE-309 PROBCORE-310 PROBCORE-311 Working on eclipse integration of the visualization framework
PROBCORE-307 change how formula is represented.
Merge branch 'feature/vizServlets' into develop

Conflicts:
	de.prob.core.kernel/src/main/groovy/de/prob/animator/domainobjects/CSP.groovy
	de.prob.core.kernel/src/main/java/de/prob/animator/domainobjects/ClassicalB.java
Reimplemented a method that got lost during merge
Merge remote-tracking branch 'origin/develop' into develop