added proper main class to the interpreter

use:

-process Main-process-name [files]
improced console read of choice
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
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
added check to remove unused warning
removed unused serial
added a cml factory

fix for bug [https://sourceforge.net/p/compassresearch/tickets/86/]
suppressed warnings
removed unused serial
changed console parser to CML parser