GNU Development Tools manual THANKS file

GNU Development Tools manual has originally been written by 
Eleftherios Gkioulekas.
Many people have further contributed to this manual by reporting problems, 
suggesting various improvements, or submitting actual code. Here is
a list of these people. Help me keep it complete and exempt of errors.

Mark Fox                    mfox@cpsc.ucalgary.ca     
Vince McIntyre              vjm@Physics.usyd.edu.au
Jan Braun                   Jan.Braun@tu-clausthal.de
Dennis Barbier              barbier@chopin.polytechnique.fr
Karl Dalley                 ball8@eden.com
