Correcting Solist 1-2. Also added some assignments and guards to improve
readability of properties.

The issue was coming from computeVerdict missing an else. The correct
verdict was computed, but then written over by the default weak failure
verdict.
More work on Solist issues. For property two should we only check
average times on a start? It looks like we get the correct verdict, and
that the property is actually violated. We should ask.
Debugging MonPoly. Error was caused by the fact that we need to intern
all strings that represent objects, so that they have identical identity
hash codes. This was done previously in CSVFileMonitor, but the change
to translators removed this. I have added it back in. We need to ensure
that the XMLFileMonitor also interns strings.
Starting to look at Stper
Merge branch 'master' of https://github.com/selig/qea.git