AUTHORS: Tiny cosmetic change
Update THANKS file

Add all new Git commit authors to the THANKS.in file.