Updating Travis CI file