Ignore "ctrl-c" (SIGINT) in coq process.
Ignore "ctrl-c" (SIGINT) in coq process.

c-cube/coquille,the-lambda-church/coquille,bluelightning32/coquille,andy-morris/coquille,lgeorget/coquille,stelleg/coquille