[xml] xmllint and fetching DTDs over the network

[Peter Simons <simons cryp to>]

Hi,

I wonder whether it would be possible to add a switch to xmllint that
causes it to print which DTDs it's fetching over the network because
it didn't find them locally. This would be very helpful when trying to
figure out which DTDs are missing.

        -peter