Fix search box in documentation

[marktsuchida]

Without listing 'sphinx_rtd_theme' in extensions, _static/jquery.js was missing and the search did not work. (https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html)

[wlav]

Thanks!