Clean up the Travis CI configuration a bit.