Fast DVI to SVG converter
