Adding script that sorts clauses according to their literals

Useful when debugging DRUP: easier to compare SAT solver's internal data
structures and DRUP output to find out what is missing.
Adding XOR fuzzer
Add script that finds the maximum variable in DRUP output