Improve table of contents in user guide #417
Description
Currently, the table of contents is maintained manually and only includes top-level sections. That's not enough, especially if users are looking for specific tutorials or controllers. We should find a way to generate it, maybe by migrating to Asciidoc ... but then the PDF generating needs to be changed.