remove debug prints about XOR-clause
fix segmentation fault due to XOR-clause handling bugs
adopt Cryptominisat-like interface for XOR-clauses