Adjusted verbosity levels of output
Merge branch 'master' of github.com:chsticksel/kind2
Merge changes from release branch
Consider initial step for variable dependencies in nodes
Merge branch 'master' of github.com:chsticksel/kind2 into develop
Added --version switch
Check for OCaml version in configure
Merge pull request #88 from chsticksel/develop

Final changes before release
Update README.md
Releasing Kind 2 v0.7.0