Merge branch `rewrite` into `master`.
Upgrade Proof to 0.0.45.

Closes #68.
Build on Travis CI without error.

Closes #22.
Merge branch `rewrite` into `master`.
Identify acceptors using known acceptors' records.
Write to stateLog.