Final project for Applied Distributed Computing, implementing the Paxos algorithm for concensus