cmake: add option ENABLE_VERBOSE_CONFIG
Checking the filenames of generated configuration files is now optionally possible with this cmake option. They are no longer displayed by default to avoid unnecessarily flooding the output.
Related to cmake pipeline jobs used by !218 (merged) and other merge requests, depends on !231 (merged)
Edited by Ralf Habacker