Bump version to 0.2.3-SNAPSHOT
Changed the model checker shutdown to not spam the log with an error if
FORMULA is not installed.
Remove methods for deleted AST nodes from the preflight visitors for the
TP and MC
Clear out methods related to the deleted AST nodes from ide/ui
Update the bundled cml examples to those in SVN#5163
Merge branch 'jwc'