Reorganize credits, reading them from docs/authors.txt and generating a .cpp file from them.

Reading credits at runtime seems wrong, so I decided to compile
them in using a generated cpp file. And I always wanted to test
how generating files with CMake works :-)

The new mechanism isn’t used yet.