Improved handling of Ctrl-C
When interrupting a CodePeer run using Ctrl-C, a clean up is now done and in particular no lock file is left, which makes it easier to re-run CodePeer afterwards.