Add singlehtml builder option.

This lets people choose it as the builder for their main docs. It also switches all of the zipping and HTML download to a single-file version with local media files linked.