Added functions for reading a DIMACS file and for writing a SAT proof to a file.