docs: theme fixes

- register theme as extension
- add sphinxcontrib.jquery

The html generated uses jquery ($(...)),
but sphinx does not include it anymore since a while.

docs/conf.py

@@ -113,6 +113,7 @@ def set_rst_settings(app):
 
 
 def setup(app):
+    app.setup_extension('sphinxcontrib.jquery')
     app.add_css_file('css/borg.css')
     app.connect('builder-inited', set_rst_settings)
 
@@ -258,6 +259,8 @@ extensions = [
     'sphinx.ext.todo',
     'sphinx.ext.coverage',
     'sphinx.ext.viewcode',
+    'sphinxcontrib.jquery',  # jquery is not included anymore by default
+    'guzzle_sphinx_theme',  # register the theme as an extension to generate a sitemap.xml
 ]
 
 extlinks = {

requirements.d/docs.txt

@@ -1,2 +1,3 @@
 sphinx
+sphinxcontrib-jquery
 guzzle_sphinx_theme