Switch to bootstrap 3 and custom toc

- removed the v2.3.2 themes
- removed tocify (used some home-made code instead)
- wip (todo better theme support)