Added code for generating HTML.

This won't be any use, however: too much specialized stuff that jekyll uses.
Added targets for building docs.
Added an ignore.