A fast DVI to SVG converter