Added a Name_of module to have an id -> name translation, not only id -> string.
Modified the closed catalog interface.
Begun changing the Configuration_of in order to remove using #name.
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