htlatex: make LaTeX labels also to HTML anchors