added TC test case for ticket 169
Merge branch 'origin/test'
interleaving now updates the state correctly if you specify the namesets
updated the interpreter ui such that a color for highlight can be selected, a flag for selecting auto filtering of tock events have been added

overture sync [d6c738d9a544cb4a2924e07554d78c7ed603f0cb]

fixed bug https://sourceforge.net/p/compassresearch/tickets/159/
Merge remote-tracking branch 'origin/kel' into akm
Generalised parallelism now correctly merge the state when it ends
Timed interrupt implemented for both process and actions
enabled auto tock filtering
moved "console main" to CMLJ class
removed unused code
clean up removing unused imports and definitions
enabled type checker to check expressions post spec check
fixed bug #171

https://sourceforge.net/p/compassresearch/tickets/171/
Merge commit 'd83b83bf11f4b8b5e9c4c13a5126f8be46a367c5' into development
updated comments in parser file
Merge commit '6c9527404f4bdf486ea19776320136cc2fa7cb30' into development
Fixed in the UI of the model checker.