made tau transitions more readable and improved assert message when result file is missing in the interpreter
fixes #235 setting the rightchild to stop. It is unclear to what extend this might have side effects but non have been discovered by the tests present in the interpreter.
Update ActionSetupVisitor.java

Fixed issue with for loops which get their binding from a lookup. The issue was that the forloop change (removes) the looked up binding.
updated display function for behaviours
improved tostring of ast nodes for replicated actions
fixed #237 this is the correct fix for the bug. The problem was actually related to setup rewrites. Where nodes returned from setup were newly generated nodes that themself needed to be setup
re-wrote setup for replicated. This is the initial setp towards fixing the #235 issue
Merge remote-tracking branch 'origin/kel/base' into kel/base

Conflicts:
	core/interpreter/src/main/behaviour/eu/compassresearch/core/interpreter/ActionSetupVisitor.java
updated tostring for %action->#Replicated->alphabetisedParallelism
updated replicated stuff
Add CML version of invariant extractor.
Add PO name to detail view as a comment.
Some fixes to generation of thy
this is yet another step towards fixing #235
Merge remote-tracking branch 'origin/test' into kel/base
Import cml examples.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/sdf' into newpog
Update test results for invariant and state scoping changes.
Add test for all examples.