require redcarpet 3.1 for user-friendly anchors

with_toc_data was updated in https://github.com/vmg/redcarpet/pull/186
to generate pretty ID attributes for Hn headers, which is what we use
for cross-linking