A DVI to SVG converter