Update THANKS file with people having sent pull requests