Add a Search button to the Extension Manager

We currently have a search box within the Extension Manager, but there's no actual Search button. You have to hit Enter to make the search, but that might not be intuitive for all users. We could use the same kind of button we have for the wiki search box.