proc_kill function

Kill a process and (optionally) all its child processes