Merge pull request #82 from chsticksel/master

Bugfix for evaluation of nested let bindings
Merge pull request #83 from chsticksel/master

Find correct instant even if first variable in model is a constant
Usage and Requirements to README.md
Merge pull request #84 from chsticksel/master

Bugfixes and minor refactoring
Merge pull request #85 from chsticksel/master

Output, documentation and source cleanup
Create LICENSE-ocamlczmq.md
Update README.md
Merge pull request #86 from chsticksel/master

Updating dependencies and build system
Lustre syntax
Link to Lustre example file
Create XML.md
Create COPYING.md
Update COPYING.md
Supporting Linux and Mac OS X
Note that CVC4 does not support unsat cores
Merge pull request #87 from chsticksel/master

Small bugfixes
Find SMT solver on path or by option on command line
Small edits to output messages
Merge branch 'master' of github.com:chsticksel/kind2