Document how to generate the gh-pages

The mdocml tools, specifically mandoc(1), are used to generate the
gh-pages HTML docs. This documentation is now documented.