Abbruchkommando für Tasks

Nicht kooperative Tasks können nun Beendet werden, indem die
Tastenkombination "Strg+Esc" gedrückt wird.