Print configuration file names with --debug option.

A first step towards solving #405. We need more information when there
is a problem with configuration.
Merge pull request #417 from jonas054/debug_print_config_files

Print configuration file names with --debug option.