PROBCORE-541 Created two example ITool implementations.
PROBCORE-541 Changed the subscribe mechanism for the StateSpace so that you don't have to deregister formulas. We now essentially use a weak hash map that removes elements once other references to them are lost.
PROBCORE-541 Working on an implementation...
Merge remote-tracking branch 'origin/develop' into feature/iTool
Reload method.
PROBCORE-541 Extracted some of the loading functionality present in BMotionStudio into a util class to simplify the loading process.
PROBCORE-541 Update Observer class to reflect changes in IBMotionScript
Changed UUID accessor method so that it is consistent (the method getUuid() no longer exists. Instead, you can access the UUID only via getUUID() )
PROBCORE-541 Updated the ITool implementations for ProB 2.0 so that they register themselves with the AnimationSelector and thereby get updates.
PROBCORE-541 Removed unused information from BMS files (i.e. port, host. The fields were transmitted but never used)
PROBCORE-541 Performed some DRASTIC refactoring. The main goal was to maniplulate the BMotionStudioSession so that it only has references to ITool, but as a secondary goal, performed some refactoring in the BMotionStudioServlet so that the BMotionStudioSession has to contain less information and is therefore simpler by design.
PROBCORE-541 Fixed some bugs.
PROBCORE-541 The port and host information WERE needed...for the standalone
PROBCORE-541 Reimplemented the doStep method so that it communicates with the animation selector.
PROBCORE-541 Evaluate the groovy scripts specified by the user.
Merge branch 'feature/iTool' into develop

Conflicts:
	de.prob.core.kernel/src/main/java/de/prob/bmotion/BMotionStudioServlet.java
	de.prob.core.kernel/src/main/java/de/prob/bmotion/BMotionStudioSession.java