python catch keyboardinterrupt exception