Character-based DVI file previewer.