Validation: Added printing of validation results. Corrected errors.
Merge branch 'validation-feature' of github.com:aeolus-project/zephyrus into validation-feature

Conflicts:
	src/engine/validate.ml