HTML5 processing

After the HTML5 files are generated by the common routine, the dita.map.xhtml target is called by the html5 transformation. This target generates a TOC file called index.html, which can be loaded into a frameset.