Added support for project specific properties overriding global workbench preferences.
Main pog no longer visiting VarSet expressions.
Fixed in the UI of the model checker.
Merge remote-tracking branch 'origin/development' into akm
Merge commit '16cc2ce48372fa02c54e6b462320fb1b3d6dc7f3' into development
Merge commit '48f031cdfa70bc7e75466afa934376da2ead6ea7' into development
Merge commit '3023d489e3ea582dde4566e4ebfd695df3f816bc' into development
Fix #183 where parser errors were reported much earlier than they occurred
Merge remote-tracking branch 'origin/development' into akm
Fixed a bug in the parser which did not set the channelsets in alphabetised parallel action for the variant where only channelsets are given. Also fixed a typechecker which did not check for empty namesets and therefore failed when they are
alphabetised parallelism for actions without state implemented
Changes int he graph builder component.
Delete obsolete test script
Add recognition for configuration block syntax (no AST yet)
Merge commit '68934c9d3c0c36d5b8ad1562826bcd359cffe16b' into development
Merge commit '38bbe36507b7d5813eda5d479bbe4503f08a7767' into development
Merge branch 'origin/development'

Conflicts:
	core/interpreter/src/main/behaviour/eu/compassresearch/core/interpreter/CommonInspectionVisitor.java
	core/interpreter/src/main/behaviour/eu/compassresearch/core/interpreter/CommonSetupVisitor.java
	core/interpreter/src/main/behaviour/eu/compassresearch/core/interpreter/ProcessInspectionVisitor.java
	core/parser/src/main/antlr3/eu/compassresearch/core/parser/Cml.g
cleanup  and format for interpreter code -makes it easiere to merge next time snice the interpreter used multiple formating styles
removed commented code