Run distributed, highly available (batch) jobs, with job locking and supervision