Adding capability to check files with XOR clauses in them

Through the use of xor_to_cnf_class python file in cnf-utils