Older experiments wuth Z3 and the scala 2.10.
Merge branch 'master' of ssh://dnetcode/reopp

Conflicts:
	code/src/reopp/common/guardedcommands/Formula.scala
Using Akka actors for the first time.
Fixed akka bug - changing behaviour does not jump to next receiving block.
building jar with akka libraries.
Merge branch 'master' into akka

Conflicts:
	code/src/reopp/common/benchmarks/SCP14.scala
	code/src/reopp/workers/ConflictManager.scala
	code/src/reopp/workers/Deployer.scala
	code/tests/reopp/workers/TestMergersWorkers.scala
	code/tests/reopp/workers/TestWorkers.scala
missing jar.
cleaning.
Starting more experiments for SCP14. Fixed singleton n-merger.
fixed connection of multiple ports between a pair of nodes.
More case studies for SCP14
Any number of threads can be passed as parameter.
Added simplified tree of sensors - always succeeding night filter.
small fixes and clean up.
Making the akka branch the master branch.
Merge branch 'master' of ssh://dnetcode/reopp

Conflicts:
	code/src/reopp/common/benchmarks/SCP14.scala