Added a mode "no-solving" which can be used to simply print the initial configuration in a different format.
Also minor corrections in Validate module and in two .gitignore files.