Coverage with Istanbul.

Closes #7.
Build on Travis CI, with no Coveralls.

Closes #8.
Fix Travis CI build.

See #8.
Test proposers and learners.
Merge branch 'master' of github.com:bigeasy/paxos
Unlock for future rounds.

Test included.