gnu-web-doc-update: add standard options