Automate sidebar generation for SMTLIB content

[rlisahuang]

z3guide/website/sidebars/smtlibSidebars.js

Line 17 in d70efa3

// tutorialSidebar: [{type: 'autogenerated', dirName: '.'}],

Uncomment this line and remove the rest of the code.

[pelikhan]

@NikolajBjorner your call if you want automated table of content or manual updates (and potential issues)