added code to kill stale mininet processes