Working on PROBCORE-181
PROBCORE-307 Working on a command to get a predicate expanded as a tree.
PROBCORE-307 working on the predicate visualization
PROBCORE-307 Working on predicate visualization
PROBCORE-307 Working on predicate visualizations
PROBCORE-307 IT WORKS!!!! Not yet pretty, but it works!
PROBCORE-307 PROBCORE-181 made predicate viewer prettier. Fixed error in oscillioscope view
PROBCORE-307 Created menu item to open predicate view. View is now refreshed when a new formula is entered.
PROBCORE-181 Oszilloscope view is now automatically refreshed when a new formula is entered.
Finish feature
Merging
Merge branch 'feature/dataVisualization' into develop

Conflicts:
	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.ui/plugin.xml
Merge remote-tracking branch 'origin/develop' into develop