removed unused imports
Small adjustments related to stability of the model cehcker.
Merge commit 'a22763449ca36d535347d45c846bf536edfe65da'
Merge commit 'b9464583b5d74eebc0b92280f11541f56474a2cc'
Merge commit 'b3f937b1332a6894fd95fce6cc1603611ec54d71'
Update examples for 0.2.4
Add Examples Compendium
Bump version to 0.2.5-SNAPSHOT
Merged with development, acf_, test and akm for version SNAPSHOT 0.2.5.
added TC test case for ticket 169
Merge branch 'origin/test'
interleaving now updates the state correctly if you specify the namesets
Improvements to handle simpler-minimondex.
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
started restructuring as part of moving from proof of concept to more steady implementation.
enabled auto tock filtering
moved "console main" to CMLJ class
removed unused code