Add outline of paxos made simple.