updated Travis CI file