[feature] ability to interrupt Coq

[maximedenes]

[gares]

VSCode should message vscoqtop, the signal handler should flip the boolean, the exec manager recognize the interruption exception.

In continuous mode it is unclear to me if one should switch to manual mode until further notice.