fixed #290 change the Text to a StylesText and applyed the VDM SL code scanner such that all PO's are highlighted using the VDMSL style which should include all expressions
updated quick interpreter to use style text too showing the same highlight as VDM-SL
adding license to model checker module
added license to guibuilder
added license for prettyprinter
added license header for test framework #249
added license header for testing #249
added license for codeine #249
added license header for codegen-runtime #249
added license header and removed commented files in combinatorial testing #249
#249 added ignore for ct
#249 added license header and removed comments files for ide/core
#249 added license header for builders
removed commented files in ide debug
#249 added license header to die debug
added license header for ice help
added license header for ice parsers #249
added license header to die platform
added license header to die tests #249
removed commented file in ide ui