Tweak DVI files

 dvi2dvi can:
  - expand virtual fonts in given DVI files,
  - change font names in given DVI files,
  - decompose 2-byte fonts into 1-byte subfonts.
 With dvi2dvi, you can convert DVI files generated by NTT jTeX to
 those of ASCII pTeX, and vice versa.