how do i capture sigint in python?,"signal.signal(signal.SIGINT, signal_handler)"