include TOC in generated html
removed TOC. it lives in build.py now.