Fix VFs in DVI ...

Selects a DVI file and replaces all virtual font references with appropriate characters and commands from actual fonts. See section [*] for more information about virtual fonts.