implementation of classical paxos algorithm in Orc: CS380D Distributed Systems Project Spring 2013