Finished the first draft of basic Paxos