Updated Travis CI integration