Added help -write-tex-command-reference-manual option