Improve the kill via process group logic. It's not portable to assume
that the process ID of the Python process is the same as the
process group ID, or that the Python process and its subprocesses
are in their own process group separate from the benchwarmer script.

Break out a separate kill_pg script, to give us a portable way to
kill the timed-os-stats process and its children.