Editing DoEval
Merge branch 'master' of https://github.com/selig/qea.git

Conflicts:
	code/qea/src/benchmark/rovers/DoEval.java
Output traces for benchmarks
Merge branch 'master' of https://github.com/selig/qea.git
Making fixes for evaluation
Starting the simple case.
Fixed some stuff with Naive monitor - need to add checks for |lambda|>1
Merge branch 'master' of https://github.com/selig/qea.git

Conflicts:
	code/qea/src/benchmark/rovers/DoEval.java
	code/qea/src/benchmark/rovers/DoWork.java
	code/qea/src/properties/rovers/RoverCaseStudy.java
	code/qea/src/structure/intf/Assignment.java
	code/qea/src/structure/intf/Guard.java