add quickcheck to dependency list in README
Merge pull request #118 from adferguson/master

add quickcheck to dependency list in README
Dehop.mli
Merge branch 'master' of github.com:frenetic-lang/frenetic