Fixes regression discovered on Linux after upgrading `rustyline` to 17.0.2; `SIGINT` not handled as expected, breaking ability to interrupt nontermination in `scryer`.
This was due to a change in `rustyline`'s `SIGINT` behavior since version 16 and corrected in version 18.