add a random xor dimacs file generator