Insert missing copyright headers

Performed using ./tools/add-copyright-headers