Added support for HTML_dpng (dvipng rendering). Mostly, this amounts to adding global variables to configure options to dvipng.
Changed paths: