Simplify Travis CI script