[gambit-list] A new socket interface for Gambit