Update Travis CI: don't just run the tests, also run other checks