Add a THANKS file

The good ideas came from Heiko! :-)