Added example Lustre files from Kind 1
Fixed genration of ocamldoc
Cache string representions of terms
Merge pull request #12 from chsticksel/master

Ocamldoc generation, example files and caching of string representation of terms
Mapping of state variable names to original names in input files
Merge pull request #14 from chsticksel/master

Mapping of state variable names to original names in input files
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
Added LICENSE
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
Merge pull request #13 from PaulMeng/master

Added interpreter
Handle assertions correctly when generalizing