Some work on our Travis CI script.

Everything now builds and runs fine on Travis CI, so try to see what we
can get rid of in our .travis.yml script.