dvilj2,	dvilj2p, dvilj, dviljp, dvi3812: convert dvi files to HP LaserJet or IBM 3812 format
