#270 Generate html redirect pages to sub-commands

[Stephen]

If more than one command is documented in a single page, and you want to link to the HTML output from an external source, you need to know which top-level page the command appears in.

For each command on a page which does not share it's name with the page itself, I would like dtplite to emit a stub HTML page, named after the command.

It should have a link to the correct page, including the correct fragment within the page. e.g.

<a href="ns_log.html#ns_logctl">ns_logctl</a>

In the html header, it should contain the following meta tags:

<meta http-equiv="Refresh" content="1;url=ns_log.html#ns_logctl">

<meta name="ROBOTS" content="NOINDEX">

The first one to automatically redirect the user to the correct page. The second one to discourage google from indexing.

The stub pages do not need to be linked from the TOC or keyword index.