Remove astCreator from master branch
forgot to remove astCreator from tools/pom.xml
Merge commit '325ddc415e47d0518ca0a63a6b1ccacadb99050f' into release
Merge branch 'master' into release

Conflicts:
	ide/plugins/prob-runtime/core/icons/uml.png
	tools/pom.xml
Add versioning plugins and bump version numbers to 2.0.2
no message
no message
Add config file for the Travis CI system at https://travis-ci.org
Merge commit '7a4670d24257c29486745938c019cd6d0416613d' into release
fixed error withimplicit operation in prob + missing state existens check

f(s:set of nat)n:nat
post r in set s
add/modify test data for sequence
Add a method for distributed concatenation in VdmToBConverter.java and comment out System.err.println in BtoVdmConverter.java
Add release notes for v2.0.2, and fix type in the v2.0.0 note
minor cleanups in pom.xml files
Disable inclusion of the AST-based POG for the release
Merge ‘docs’ branch into v2.0.2 release
Merge branch 'release' for v2.0.2
Re-enable inclusion of the AST-based POG for development
Bump development to version 2.0.3-SNAPSHOT
Merge commit '55ca4cbef18b0d8a53e369207f57600058675773' into development