add paxos made simple