Add a way to search files.

[KoBeWi]

Currently there is no way to search for a specific file (unless I'm missing something), so you have to manually navigate to the file. It would be nice to have a search field like when viewing files on GitHub.

It could simply filter the files in tree.