Upgrade sbt, specs, add a build.properties, and bump travis's target