converts .dvi files to plain text
