Adding the XorToCNF class
Finishing up the XORCNF->CNF converter
Adding cutsize as an option and checking that cutsize is an integer
Fixing the regexp that matches on (xor)clauses
Adding extra line for clarity of code