Fix rendering of documentation. Closes #10.

New markdown renderer used by github pages does not put div tags around
the table of contents any more. This breaks the splitting logic in our
toc macro. Manually adding the div tags fixes the problem.