[gambit-list] [PATCH] Make "clean exception handling" switchable, and off by default