patch with grayson-fix-infinite-loop.patch

For some reason we didn't include this patch before, figuring it
would have found its way into coq.  The patch file is
Foundations/Coq_patches/grayson-fix-infinite-loop.patch .