Simple leader election

Based on quorums rather than on rings. Shows all the usual pathologies.