Finished paxos implementation. Added dynamic adding of agents to paxos using paxos.