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