Implementing process tree kill for Unix-like platfomrs: improve agent/killprocetree.sh