Update paxos.py