How do I capture SIGINT in Python?,"signal.signal(signal.SIGINT, signal_handler)"