Remove core/vdmtools & tools/vdmt after migrating them to overturetool/vdmtools repo; close #354
Small enhancement to add XO Game invariant
Merge remote-tracking branch 'origin/development' into ncb/development
Merge remote-tracking branch 'origin/kel/astv2' into ncb/development
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
Removed outdated test that will be replaced
Added two tests to exercise a transformation of the while statement that treats the case where the while condition is a complex expression that itself requires a transformation (e.g. a quantified expression).
Added a transformation for the while statement to handle the case where the condition is a complex expression that also requires a transformation. This expression requires special treatment since it is evaluated repeatedly
Changed the VDMMap and VDMSet to use LinkedHashMap and LinkedHashSet, respectively, to get determistic iteration
Updated the Java IO runtime class to print out values in a more Overture-like format
Updated the string representations of type/value runtime classes to look like those used in Overture
Merge remote-tracking branch 'origin/ncb/development' into pvj/main