Update searchtools.js_t with newer version from Sphinx