Fixing the XOR generator

It was picking 0 as variable :(
Making dimacs-corrector work with DRUP files