Titles for all pages + various fixes.

- Each page now has title.
- Cleaned up the mess with handling URL-s.
- Opening the tab that was just closed now works correctly.
- Opening videos/examples also selects tree nodes.