Simplify Travis CI config