Add a THANKS file.