Add more options to our Travis CI config