Lift 'isMajority'
Fixup compiler warnings
Switch license to BSD-3
Add .travis.yml

Retrieved from https://github.com/hvr/multi-ghc-travis and slightly
edited.

Fixes #5
Use `Data.ByteString.Lazy.Builder` for HP-compatibility

Fixes #1
Fix `Command` `Show` instance

Some versions of `Builder` don't have a `Show` instance, so a manual
instance is required.

This one was generated by GHC's `-ddump-deriv` option, Vim's
search-and-replace function, and lots of patience.

Fixes #4
Require binary with `Generic` support
Update kontiki.cabal so `cabal check` passes
Add TravisCI button
Add top-level documentation.

Updated README.md.
- Added build/test instructions.
- Added contribution ideas.
- Added udp demo description and example output.

Added top level documentation to all modules.
- sometimes a bit pointless, but Network.Kontiki.Types
  is now relatively well documented with references
  to the paper.

Enabled test coverage with hpc.
- Updated README.md with appropriate instructions.
Fixed jkozlowski/kontiki#1
Applied suggestions so far.
Merge pull request #6 from jkozlowski/master

Add top-level documentation.
Added cabal sandbox files + TAGS to .gitignore
Added commit index to types and to Follower code
CSetCommitIndex generation for leader
Some cleanup of 'udp' example
Forgot to update commit index in node state
Updated 'udp' example to use CSetCommitIndex
Minor cleanup: some formatting and redundant constraint removed
Merge pull request #9 from qrilka/commit-index

Implement commit-index propagation