Produce a gh-pages commit during build.

This makes it easy to upload the resulting build to GitHub Pages.