TOC insertion

TableOfContentsFilter generates a simple table of contents and injects it inside of #table-of-contents if present.