Travis CI: build, then test