GraphvizImageHttpHandler: support for on-demand rendering

Formerly rendering was always done every time the diagram changes.
GraphvizImageHttpHandler: support for svg, svgz and dot output formats

In addition to png.