Detect dead peers and leave them out of election

We have last ping timestamps, so technically this is easy to do.

But together with this issue we also need to make a test for split-brain and merging the cluster back again. Fortunately, vagga makes this kind of tests easy.