Add CC0 as the license. SPDX does not have a "public domain" tag, but CC0 is more or less equivalent. We should have *some* header to avoid doubts in the future.