Tune Travis-CI config