Adjusted verbosity levels of output
Merge branch 'master' of github.com:chsticksel/kind2
Update README.md
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