Add license headers to source files

[agateau]

Depending on the selected license, the generated source files should include a license header.
License headers should use SPDX IDs (https://spdx.dev/ids/)

Ideally this should be an option, since not everybody likes to have license headers.