Updates to Travis CI integration