Ship coverage to web server from Travis CI.

Closes #10.
Turn on Istanbul run at Travis CI.

See #10.
Tidy `package.json` and `LICENSE`.
Added 'paxos.md'.
Update `LICENSE` for 2014.

Closes #15.
Upgrade Proof to 0.0.41.

Closes #16.
Merge branch `demarius-docs` into `master`.
Text wrap `paxos.md`.
Quote Node.js version in `.travis.yml`.

Closes #17.