[gambit-list] Interactive development and debugging in GAMBIT