WebSearch: extend ExternalSearchEngine with user_search_url

• In addition to specifying a search URL to retrieve results from remote search engines, each subclass of ExternalSearchEngine can now define a URL that will be used to link to the full results list on the remote site. Useful when the search is performed for eg. by querying APIs returning some XML, at a different from the user HTML site.