xml2html: include everything except TOC in body

This replaces the previous hack in which we try to list all the tags
which can occur.  That was hopeless, because images and code samples are
<div> tags, just like the TOC.