V1.1. Minor fixes, now using sbt 0.12 and scala 2.9.2.

Problem in arith when migrating to scala 2.10.0, probably due to some
hash stuff.