We should keep the Google copyright on files authored by people at Google,
but for new files added by people not at Google, this really isn't necessary.

(Someone from open-source compliance at Google reached out to me and
suggested removing this line.)