latex2html: Sync to v2012

This is v2012 but also some local Starlink patches for $* usage
that was not fixed for that release. May still need some extra
patches. This does not sort out issue #10.