Made timedexec kill child processes more cleanly
Made timedexec kill child processes more cleanly

Added a setpgrp() so that the child forked by fork will be the
head of its own process group and used a kill -9 in order to
request that the process group be killed, not just the process.
This seems to do a better job of cleaning up runaway gasnet
processes than the previous approach.



git-svn-id: 88467cb1fb04b8a755be7e1ee1026be4190196ef@14924 3a8e244f-b0f2-452b-bcba-4c88e055c3ca

hildeth/chapel,CoryMcCartan/chapel,hildeth/chapel,hildeth/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,chizarlicious/chapel,chizarlicious/chapel,chizarlicious/chapel,CoryMcCartan/chapel,chizarlicious/chapel,hildeth/chapel,chizarlicious/chapel,sungeunchoi/chapel,sungeunchoi/chapel,sungeunchoi/chapel,chizarlicious/chapel,chizarlicious/chapel,hildeth/chapel,CoryMcCartan/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,sungeunchoi/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,hildeth/chapel,CoryMcCartan/chapel,sungeunchoi/chapel,hildeth/chapel