How do I capture SIGINT in Python?,sys.exit()