Simplified TP and POG context menus, and removed Z3 check box due to change in current Isabelle/Eclipse
Merge commit '8c5c2ad9050b02698754b95d5eeac53247ab4644' into rjp
updated the cml interpreter cosim protocol to inclulde the option to changing the protocol version to:

1.0.0 - the old one
2.0.0 - a newer onr based on the old one buth without the initial array
3.0.0 - a new custom written one. Only completed part of encoding. Missing types/values
Merge remote-tracking branch 'origin/test' into kel/base
Add created external processes to the processes list, so that they can
be killed after test runs (and so that they don't keep killing random
processes on the build server).
Fix stray delete keystroke, restore a missing 's'
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
enabled cosim protocol v3 decode of finish,execute, register sub, inspect reply
close #249 duplicating the implementation of the fat comp for the non-fat.
moved test for one of the tests from #249 to #261 sub
variable rename
Merged with origin/development. Working (partially) with the second exemple of Insiel.
corrected error message for fatal error (remove email)
added explicit casta to constructor call to make it explicit which constructor that is called
close #286
fixed #280 corrected the handling of transitions in [ CS || CS ] such that pairs like (c.?,c.1), when offered, merge into a single offer (c.?) and are correctly dispatched to the child behaviours when executing.

renamed method in ChannelValue isGTEQPrecise to isEquallyOrMorePrecise.
removed brackets from example
close #284 the obscure error was becasue the p/a = k: int @ ... by default was made an instance variable. Now val is the default CML type making it a value. res, and (maybe vres) makes instanve variables. A type check has also been added for these arguments such that they are checked.
missing java doc tags added - description
fixed #288 added check to reject res/vres in process definitions