When a KeyboardInterrupt is caught, just use the "raise" syntax to

re-raise it instead of re-raising it "manually" the ugly way.