Automatically generate AUTHORS file with tools/gen_authors.py