Added documentation to paxos