Add patches for Cryptol and friends

I found these useful when debugging ghc#21610 (closed).

added 3 commits

• c98d61d4 - Fix CPP in doctest-0.20.0 patch
• 2d363c2b - cborg-0.2.7.0: Work around https://github.com/well-typed/cborg/issues/290
• 51678801 - Add patches for Cryptol and friends

Compare with previous version

enabled an automatic merge when the pipeline for 51678801 succeeds

merged