Added parser for DIMACS format cnf files