Clojure evaluation interruption does not interrupt solver in shell process

[tanders]

For constraint problems that take longer time to solve, interrupting the Clojure evaluation should also interrupt the constraint search of the solver (send the shell process an interrupt signal, Ctrl-C).