python: add xor_encoder