Update docs for change to GitHub and Travis-CI URLs. [ci skip]