Sort the args of Xor.

Complement to issue 4081.
Remove sorting from printer (Equivalent/Xor args are sorted already).
Merge pull request #2588 from jrioux/printing

Sort the args of Xor.