utils/gen_html5.py: automatically create superscript footnote references
Modify footnote reference marker to be [^1]