Changed python scripts to terminate on cntrl-C.