Automatic checks for missing license headers #689

There is currently no tool in the CI that checks each file for a correct license header. We should introduce such a check, for example by using reuse.