Add solver.output_cnf(filename) functionality for SAT solvers.
Some whitespace cleanup.
CNF output should have a 0 to signify end of each clause.