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
First draft including LB RMs:
- 16 (expressions in thread definitions)
- 17 (values in duration/cycles statements)
- 18 (sporadic thread definitions)
- 20 (antagonist stop and stoplist statements)
delete "%JPNFONT" to generate PDF file by Xetex
Added review comments received from Nick Battle.
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
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
cleanup