added proper main class to the interpreter

use:

-process Main-process-name [files]
improced console read of choice
New test for all PO generation (and some clean up).
Update pdfs from D31.3a-c for version 0.2.4
Bump version number to 0.2.4
Create a shell script to automate version number increments
Update the RTT baselineinformation files
changed failing test to compare with generated output
removed serial
added initialization of the VDM interpreter
added messages to assume
cleanup and change to use factory
enabled external code calls from cml

this requires sync with overture: b1231553295009d2c3313aade51e259807205ace
Merge commit '946640660a1a0d6e78d777faf6508e992e4adffa'
fixed issue with empty chansets giving class cast errors
Model checker dealing with b & o example (without mu construct neither time). Small problems in set manipulation on formula script but compiling.
Adding implemented constructs to the MCunsupported visitor.
Merge branch 'test' of ssh://git.code.sf.net/p/compassresearch/code into acf_
Model checker handling simpler-register, simpler minimondex, simpelr B & O, dining philosophers.
removed unused class