Sbt

This is the outline of the Sbt build, with the same effective features as the Maven build. The upside is that we can check more of the Scala code; the downside is that the IDEs need plugins.

Close #29.