Paxos algorithm demo,from mit 6.824 lab 3 - View it on GitHub