Improved code-structure.
Complete revision of input and output.

Now input also possible from standard input, and solutions can be output
to standard output/error, to file, or ignored.

If ALL_SOLUTIONS is set and no solutions-output is specified, then now
solutions are only counted.

Also corrected SAT-status in case of ALL_SOLUTIONS.