Convert dvi files to HP LaserJet or IBM 3812 format