Read filenames from an explicit file instead of globbing

As discussed on the mailing list will the build system be changed so that all source files are listed in a CMakeLists_files.cmake file, which is included by the main script.