Fix the THANKS file.
remove duplicates