Modify .travis.yml for Travis-CI