This avoids loading useless resources when the search is not available in the
page. It previously generated a JS error because some HTML element was not
present in the page.

Also use specific version of docsearch resources to improve caching and use SRI.