Xor tests

Branch: xor_tests.

Adding tests for 2-XOR-clause translation and parity constraint translations.

Matthew