Cluster monitor

See https://bugs.launchpad.net/oq-engine/+bug/1292606. The solution proposed here is a monitor thread pinging the workers and killing the main process if some node dies.