Build on Travis CI.
Build with Istanbul on Travis CI for Coveralls.

See #53.
See #46.
See #19.
Quiet `t/cover`.

Closes #53.
Merge branch `proof` into `master`.