V726-002 fix and improve why3server interrupt function
This merge request:
- fixes various issues in the "interrupt" functionality of the why3server
- implements a new function in the Controller_itp to interrupt all proof attempts related to a goal.
See the commit messages for more details.