Router-based top search

[robinp]

Now we can perform a top-bar search, but it is not reflected in the route. This way search results can't be easily shared.

If we had a route for this, next question is: what do we do with the filetree and file viewer? Could we omit showing these? That opens a can of worms of questions...