asmrefine: add one README.md, update another. Better documentation of what's in the proof/asmrefine and tools/asmrefine directories.