A Paxos-based Redis replication layer with dynamic reconfiguration in 500 lines

It uses single decree Paxos to implement rewritable distributed register. The implementation supports dynamic reconfiguration of the cluster and the distinguished proposer optimization.