updated HermiT to 1.3.8, removed some more log verbosity