bug fixes with the toc, cleanup

Also removed some toc logic, since marked generates the header ids.
Refactor, documentation
Fixes to toc configuration, cleanup

- HTML parameters are now properly used in BI mode
- Added a "toc-disabled" attribute to allow overriding the
default config that enables the toc.
- Replaced the "v/" folders by a single "dist". Tags should be
used for that instead.