Update travis.html