Add authors of git commits to AUTHORS file