A dvi-file previewer for text only devices