Added tocify integration.

To use it, add a div with the id "toc", and link the script.
The header hierarchy (h1>h2>h3, etc), starting from h1 has to be
respected.