Removing special XOR clause handling from STP

This means we no longer can use XOR clauses form CryptoMiniSat2. This I
think is not a problem. No new SAT solver has XOR clauses and they can
always be cheaply recovered from the normal clauses.

Fixes #119