last call for Html and --html-help

[Mark Lentczner]

Unless I hear any last minute plea, I'm going to nuke
	1) The Html backend (and so no more --xhtml)
	2) The html-help system (and so no more --html-help)
		DevHelp.hs, HH.hs, and HH2.hs

	- Mark