Finished implementation of Paxos
Only one instance may exist for now