Add tool to kill all batch jobs using David Stuart's batch system