Update documentation for Travis CI.