fixup! Build docs on Travis and upload them to GitHub Pages.