Adding missing AUTHORs from the git log. Sorry, folks.