paxos impl in python