python: built-in keyboard signal/interrupts,sys.exit()