Updated some test results related to generation of union types
added version number to VDMUnit v 2.0.0
Added test revealing problem with code generation of union types for the call object statement
Fix for code geneation of the call object statement when the object type is a union type
Updated test results related to code generation of the apply expressions where union types are being used
Added test revealing problem with code generating of the apply expression and union typpes
Added some tests and updated some test results related to code generation of the apply expressions and union types
Added a few more tests to exercise code generation of the apply expression for strings when the object type is a union type
Extended the type assistant with extra utility functionality
Fix for code generation of the apply expression when the object type is a union type
Added handling of the -basedDir argument in VDMJ (it was missing)
Changed the way LateX is coloured in the editor so it does not highlight VDM keywords anymore
Small improvements to the goto definition handler
Merge remote-tracking branch 'origin/kel/astv2' into pvj/main
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Remove core/vdmtools & tools/vdmt after migrating them to overturetool/vdmtools repo; close #354
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