Restore SIGINT for stopping gnushogi when thinking.