Fine tune Travis CI integration