Corrected Scala version in Smocs.scala

Also added the build.properties file which specifies what sbt version to
use.  Did a format cleanup in TreeSolverUsage.scala.