For Bernhard's comments please see

https://github.com/stengel/gambit/wiki

which is my own repository.  
The main gambit project is at

https://github.com/gambitproject