Add an id attributes to the sect1 tags that does not have one already.

This fixes filenames like x31.html, which is generated in html-split
mode, that somebody will end up linking to at some point.