Updated paxos.md.
Merge branch `demarius-docs` into `master`.