how do i capture sigint in python?,sys.exit()