Fix #80; update dependencies
Update badges
Fix #81; fix the build under GHC 7.8