Redefine xor as a saw-core primitive, and add rewrite rules.
Redefine xor as a saw-core primitive, and add rewrite rules.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script