add topic:XXX support to find data by github topic#939

gogo2464 wants to merge 1 commit intosourcegraph:mainsourcegraph/zoekt:mainfrom

gogo2464:set-topic-filter-featuregogo2464/zoekt:set-topic-filter-featureCopy head branch name to clipboard