Adds the search within tags exension.

While slow I think the search within tags extension is very useful for some users. I am not in love with the icon if anyone has any better ideas.