doc: add the version number to the HTML output