build using 5.0.5 final, not 5.0.5-RC1

just to be safe
make it possible to run tests.txt directly
upgrade to sbt 0.13.1

just because. it's what our other repos are on.
use sbt 0.13 syntax

even though it's more awkward in this case, I like to avoid <<=
add config for Travis-CI