python: how to kill a process tree