Add an internal script for generating HTML docs.

This script isn't intended for distribution, but I wanted to put it
somewhere it wouldn't get lost. It can be run after the manual pages
have been built to generate HTML versions suitable for putting on the
website.