add html5 badge to html5 sim pages, see #17