latex2html: Update version number in supermodule