Add missing copyright headers in top-level header files