Extension for Sphinx to make the sidebar show a full table of contents instead of just the local headings
