Feature/issue 487 better worker identification

Redesign of the heartbeat monitoring worker and addition of a Redis storage backend.

In every verification interval, the new monitor tracks the (hostname, pid) pairs for each worker instance that checked-in. These pairs are then used to determine whether enough instances have checked in.

Workers still require a 'worker_name' config field and a system-id set via the '--system-id' option.