[gambit-list] Alternative to CTRL+C for interrupting execution?