Kill process tree

This makes sure all children-of-children get killed, and not just the
toplevels.