Translate toy_paxos.py to ruby