Support HTML_TOC Redcarpet renderer

This fixes #222.