Add table of contents to HTML generation

[llvm-beanz]

This adds a trivial table of contents to the HTML spec build. It isn't pretty but it works.