filter for navigation

[okworx]

With large numbers of datasets, it may be useful for users to be able to filter in the navigation view using a simple search field that filters datasets by name.