Update of .travis.yaml