Add "outlev" option and handle SIGINT in Gecode.