Insert missing copyright headers

Review by @gourlaysama