Switch to redcarpet

It appears that github has switched to a version of redcarpet which
finally supports footnotes.