Some work on our Travis CI script.

Now, the build time is optimal, so now try to get our tests to run
properly.