Model validation: splitted the model validation function into three separate functions.
added ad-hoc support for configuration generation
After some trial and error rearranged partially the OpenStack stuff and prepared several systematic examples.
OpenStack examples: corrected problems with the infinte provides.
OpenStack examples, tests and explanation are done (just 3 tests left to do).
Repaired the command line arguments and -help.
Added one more OpenStack example.
Merge branch 'master' of github.com:aeolus-project/zephyrus
Filtering out the 'non-root' packages in the final configuration.
Added almost the last OpenStack example.
Integrated a standard validation into the Zephyrus flow.
Added new mode of functioning: validate.
Added a possibility tu use a custom FlatZinc solver.
Little correction of the -help information.
Added almost the last OpenStack example result. And repaired all the other examples results (missing output).
Added the last OpenStack test information.
Merge branch 'master' into remove-names-from-model-objects
Added a close catalog function to the Catalog module.
Removed all naming related functions from Data_model objects.
Also minor tweaks to the Data_model_catalog module.