Highlight search terms in content on content_loaded event

Adapts the highlightSearchTerms from readthedocs doctools.js into
function bound to the content_loaded event and passes the search string
as an argument.
Update searchthedocs submodule