Add libpaxos messages.
Merge branch `demarius` into `gh-pages`.