Restore URL-based search functionality

[mathiasbynens]

One feature that got lost in the rewrite is the ability to permalink search result pages. This also enabled easy searching from within the Chrome address bar (by adding the site as a custom search engine). Let’s restore this functionality!

In terms of URL design, this could be done with a query parameter:

https://chromedevtools.github.io/devtools-protocol/?q=foo

…or with a hash:

https://chromedevtools.github.io/devtools-protocol/#q=foo

[TimvdLippe]

The first version probably is the best option, as we already use the URL hash for scrolling to the correct location. +1 for restoring this functionality.