Update travis-ci.txt