Generated files and git

For the record, we discussed today (again :slight_smile: whether generated
files should be in git and/or the distributed source tar balls. The
consensus was that (at least for now) we won't be including them in
either, as that doesn't fit well with CMake's separation of source
and build directories.