Tune Travis CI config