add a Travis-CI config
upgrade to sbt 0.12.4