[texdoc] texdoc --files in verbose output

[Karl Berry]

I think the output of texdoc --files should be included when
noise_level=4.  It's quite unusual for this info to be a separate option.