ModuleChecker: fix for #114: Herd does not know about module.properties or module.xml