Modify travis.ci settings