Hotlink Travis CI badge in the Badges doc.