Executor: detect disconnected/sleeping workers
ExecutorWorker: first cut at AngularJS GUI