Distinguish between stateful variables (occur under a pre operator) and local definitions
Parser allows negative integers in subranges
Makefile targets clean-kind2 to clean only kind2 build, not ocamlczmq
Hint about configure --help in README
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
Generalize with let bindings instead of equations
Do not fail generalization for input or unspecified variables
Fixed dependency order of variables
Added comments to document dependency order
Handle assertions correctly when generalizing
Merge remote-tracking branch 'upstream/master'
XML output of counterexamples
Merge pull request #15 from chsticksel/master

Various changes