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
Merge remote-tracking branch 'origin/newpog' into sdf
Merge remote-tracking branch 'origin/vb' into sdf
updated replicated stuff
Merge remote-tracking branch 'origin/development' into alrd
Merge remote-tracking branch 'origin/acf' into alrd
Modified developer name in pom.xml
Test for invariant POs on state assignments.
Theorem prover now capable of detecting a theorem failed to parse
Added supoprt for locale calculation.
Merge remote-tracking branch 'origin/newpog' into sdf
Added new code to deal with failing POs and to deal with process locality