This adds table of contents links to the single-page User Guide.

And mini table of contents at the top of each chapter, for the single
and multi-page documents.
Use html (not xhtml) with htlatex, both documents.

(makes no difference really)
Merge pull request #243 from hjoliver/html-doc-contents

This adds table of contents links to the single-page User Guide.