build.sbt: Upgrade to Scala 2.10.4 and more recent libraries
Evaluation: Implement --print-results-as-list (resurrect old format)