Character-based DVI file previewer
