main(): Include a \label{modindex} in the output so latex won't let us re-use

the name elsewhere.  This is useful for the logical filenames project,
	since the "modindex" label is hardcoded into .latex2html-init.