Add a tool to insert missing copyright headers
Insert missing copyright headers

Performed using ./tools/add-copyright-headers