Squashed 'ocamlczmq/' changes from af7cd0b..8d88971

8d88971 Merge pull request #13 from chsticksel/master
0ce2bfd Fixed configure of czmq to find libzmq
8b5a1cc Fixed configure of czmq to find libzmq

git-subtree-dir: ocamlczmq
git-subtree-split: 8d88971bb217215d3488a958e29f48abd6d425a9
Merge commit 'a1015e8433e019cb0fa1f2fb7118b887057e202e'
Merge branch 'master' of github.com:chsticksel/kind2