Tune Travis-CI builds