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
Add method for mk_token but
test data Mktkn-0001.vdmsl still does not work.
Merge branch 'origin/his/solv'

Conflicts:
	core/modelcheckers/probsolver/src/main/java/org/overture/modelcheckers/probsolver/visitors/VdmToBConverter.java
cleanup
fixed missing update of the interface for the solver
cleanup
added initial support for tokens in the in the solver. A token is either left un constrained or a x:token type is constructed by scanning the specification for mk_token(k) and then combining the types of all arguments of mk_token e.g. typeof(k).

The solver implementation in Java has a problem with tokens as strings. However the cli is ok with it and solves it. see Airport.vdmsl givepermissions