Use ADD_CUSTOM_COMMAND instead of FILE(COPY ...) for copying config.h

This has the big benefit that ADD_CUSTOM_COMMAND is executed for every
make run if config.h has changed in the source folder.

FILE(COPY ...) is only executed when running cmake.