Flipping xorEqualsFalse in addXorClause() when Lit is flipped

Thanks to Lukas Prokop for reporting this giant bug

Fixes #153