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`.