New targets:  ???-all, for each document.  This creates all formats of the
named document (DVI, HTML, PDF, PS).

l2hlib:  Added commands to translate node*.html to use the \label{} stuff,
	as supported by Jeremy's node2html.pl.  This gives us mostly
	bookmarkable nodes.