Update gitignore
Use binary instead of cereal.
Merge pull request #22 from dterei/master

Change from cereal to binary
moved to gitstar.com/deian/lio-formalization