Working on libpaxos description.
Libpaxos.txt.
Merge branch `demarius` into `gh-pages`.