Adjusted verbosity levels of output
Merge branch 'master' of github.com:chsticksel/kind2
Merge branch 'master' of github.com:chsticksel/kind2 into develop