Currently we have only a general LICENSE file in the repo root.

Having license/copyright information in each file makes it very clear for anyone who copies the file what the license/copyright is.

We can either add a short header using the SPDX-License-Identifier format. Or a long one like in the micropython repo.