python catching keyboardinterrupt