Update Redcarpet to 3.1.2

This version fixes an API breakage between 3.0 and 3.1 ; the header
method's arity should not have changed.

[ci skip]
Merge pull request #15096 from robin850/patch-20

Update Redcarpet to 3.1.2