coqdoc section links don't work for alectryon and timing toc pages

[jdchristensen]

The alectryon and timing toc pages list all of the sections within the various .v files, but when you click on one of those links, you are just taken to the top of the appropriate file. Here are the two toc files:

https://hott.github.io/Coq-HoTT/alectryon-html/toc.html https://hott.github.io/Coq-HoTT/timing-html/toc.html

and here is an example link:

https://hott.github.io/Coq-HoTT/alectryon-html/HoTT.Homotopy.ExactSequence.html#lab958

I'm guessing this isn't easy to fix, but maybe there's a way to simply delete those section headings? Or at least make them not links?

[Alizter]

Another thing I notice is that the tests don't have the appropriate links. Ideally we shouldn't be including tests at all in the documentation.