A DVI to text/plain translator