refactoring
PROBCORE-585 Working on StateSpace restructure.
Removed old state space visualization files PROBCORE-453
Remove reference to deprecated method
PROBCORE-585 Coding, coding, coding....
PROBCORE-585 fixing state inspector...
PROBCORE-453 remove obsolete derived state spaces
PROBCORE-583 chug a chug chug
PROBCORE-583 No compiler errors!!!
PROBCORE-583 fixing integration tests
PROBCORE-583 fixing integration tests.
Making changes to improve memory PROBCORE-583 (might break integration tests)
Improve save??
fix save command
PROBCORE-585 fixing integration tests
PROBCORE-608 Working on new features to help replay trace created with ExecuteUntilCommand
merge
merge
merge
Merge branch 'feature/traceRefactor' into develop

Conflicts:
	de.prob2.kernel/src/main/java/de/prob/bmotion/ProBAnimation.java