Use Travis CI (with sbt-extras)