Update the current developers in AUTHORS.
Merge pull request #6440 from pchote/authors

Update the current developers in AUTHORS.