Add SPDX license headers
As we probably will need to have multiple licenses for different
components (to use PropEr with valid licensing), we should add
Reuse-compatible license headers to all files we have. This will allow
use to explictly mark what files use what license.