paxos implementation in C for Distributed Computing class CS380D