removed unused import
change debugger to allow inspection of the state when a deadlock or pre/post error occurs
added force clear for debug history when re-launching the debugger
forced the socket debugger to stop before termination when a deadlock happens
Merge remote-tracking branch 'origin/kel/base' into development
Updates in dependencies visitor of the model checker.