Travis CI: check how it works with sbt 0.13