Adding README for Paxos implementations