Added method to write the CNF underlying the SAT solver into a file.
- First version, not fully conflict clause aware.