Merge branch 'release' for v2.0.2
add/delete some comments
add files for pretty printer stuff
add sample file for vdm++
add sample files for vdm++
Merge commit '8270b13f0b454c82c754047fdc755ed16da83bbe' into his/solv

Conflicts: are reduced
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/BToVdmConverter.java
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
	core/modelcheckers/probsolver/src/test/resources/modules/soccer.vdmsl
check record type soccer.vdmsl has 2 time out operator
delete "%JPNFONT" to generate PDF file by Xetex
add method for product type (only the case nat * nat)
add files for prob-runtime
This change partly reverts the changes made for #118. Instead it extends the coverage editor to handle doc,docx and odf file such that they work in the same way as any other vdm spec file.

A report plugin is being concidered to enable html reports
Closes #34. The RT Text logger now supports UTF-8
Merge branch 'origin/ncb/development'
Add method for mk_token but
test data Mktkn-0001.vdmsl still does not work.
moved tests
added proper setup to test case
added static prefix and more types
added the ability to translate parameter types (commented)
comment out in the body of defaultIn
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java