Add toc to sphinx sidebar

6 jobs for master in 1 minute and 34 seconds (queued for 2 seconds)