Add a THANKS file

The good ideas came from Heiko!