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).