Fixed a character-handling bug. Oleg Bartunov
(oleg@sai.msu.su) identified an error in the handling
of some of the opcodes in the DVI file, which meant that only
7-bit fonts were being set correctly (how parochial of me!). He
also sent me the fix -- many thanks to him.
Also made a change to the options of the configuration script,
turning --enable-kpathsea back to
--with-kpathsea, which is more sensible, in
retrospect (I think the processing of this was rather garbled in
the previous version).