License headers

Put license headers in all files. Code up a script that will check (in CI) that all files have that header. Header must include date of creation of a file (pulled from git).