Add file dump option

This should help users to define and debug file overrides. To ensure it works
cleanly, a few unrelated stdout messages are moved to stderr.