Update AUTHORS for recent pull requests.