Implemented very crude, rudimentary CDCL SAT solver.
Added functions for reading a DIMACS file and for writing a SAT proof to a file.