updated Travis CI integration