Print configuration file names with --debug option.

A first step towards solving #405. We need more information when there is a problem with configuration.