Added 'paxos.md'.
Merge branch `demarius-docs` into `master`.