Change author and license info to refer to an AUTHORS file.

It is much easier to add an author's name to a file than it is to update the copyright comment on every source file.