Button to quickly access Code Search from a repo

[nihaals]

It would be nice to have a button that quickly opens Code Search for the current repo while the UI is separated, similar to Sourcegraph's browser extension, instead of having to search in the repo and clicking the link or opening Code Search separately and going to the correct repo.

I made a quick userscript that does this in the meantime.