Convert a TeX DVI file to PostScript