Merge branch 'release/2.0.0-milestone-19' into develop
bump version number for development
PROBCORE-624 The user can determine if they want to load the model into an instance of the probcli or not.
Merge remote-tracking branch 'origin/develop' into develop
PROBCORE-624 The ProBInstance is started before the getModifiedModel() method, so we have to shut if off beforehand.
PROBCORE-624 Refactored AbstractModel so that it receives a StateSpace provider as a parameter instead of a StateSpace itself. Now a ProB instance is lazily created, and only when the developer calls the getStateSpace() method.
PROBCORE-559 added getEvent(String name) to ClassicalBMachine
PROBCORE-625 create accessor method to access element from within a list.
PROBCORE-625 use new accessor method
fixed failing tests after implementing PROBCORE-624
PROBCORE-626 Implemented some small fixes/small API changes
PROBCORE-627 Working on programmatically determining which formulas will be subscribed.
PROBCORE-629 Repair Downloader so that it downloads the correct windows lib for 64-bit windows
add load closure to csp PROBCORE-627
fix typo
add command to fetch the internal representation of the loaded model
fix PROBCORE-630
fix test case to account for non determinism
removed bms files and related dependencies
removed bms stuff