Learner implementation
Updated paxos.md.
Merge branch `demarius-docs` into `master`.
Remove "url" from `package.json`.

Closes #19.
Tidy `package.json`.
Try to update GitHub punch card.
Upgrade Proof to 0.0.44.

Closes #20.
Restructuring.

Add representation for entire system (Cluster).
Allow nodes to maintain multiple roles.
Merge pull request #21 from demarius/rewrite

Merge rewrite, even though it breaks built.
Cleanup.

Fix typos on #20 and #22, add function signatures.
Merge pull request #23 from demarius/rewrite

Merged, although still breaking build.