Add search in repository listing

[mordae]

I happen to have access to quite a few repositories and have to scroll a while to locate the one I need at the moment. Would it be possible to add some kind of filtering? I bet that it could be reused in other tabs.