Typos in Coq_patch/README corrected and a few explanations are improved
Fixing a merge conflict