Added 'paxos.md'.