PROBCORE-471
Merge remote-tracking branch 'origin/develop' into feature/modelcheckingRefactor
Fixing merge conflicts.
PROBCORE-471 Working on Model Checker & view.

AARRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRG!
Working on MC UI PROBCORE-471
PROBCORE-471 Working on HTML STUFF!
PROBCORE-471 Deleted old visualization files
PROBCORE-471 Working on UI stuff for Model Checking
Working on UI Stuff
Merge remote-tracking branch 'origin/develop' into feature/modelcheckingRefactor
PROBCORE-471 Refactored Animator so that it blocks when model checking is taking place.
PROBCORE-471 Refactored IAnimator so that Transactions can be specified and the animator is then blocked. This information is then sent to all views implementing the IAnimationChangeListener. Also tested method with Events view to see if view could be disabled when needed.
PROBCORE-471 Updated views based on IAnimationChangeListener so that they are disabled when a transaction has blocked the animator for the current trace.
PROBCORE-471. The IAnimationChangeListeners are now notified of the correct animator status whenever the animation changes.
PROBCORE-471 Working on the implementation of the UI for model checker.
PROBCORE-471 Working on UI impementation for model checking
PROBCORE-471 Finished UI!!!! YAAAAAY!!!!!!!!!! =D
PROBCORE-471 Clean-up
Merge branch 'feature/modelcheckingRefactor' into develop
Merge