Catch KeyboardInterrupt separately and propagate it, instead of

reporting a "crash".

Use sys.exc_info() instead of sys.exc_type and sys.exc_value.