rename readme
EDACC verifier for DRAT unsat proof format