Better category navigation from category display pages

[OmeGak]

Is your feature request related to a problem? Please describe.
Navigating to nested categories from the home pages requires several page loads. This feature is proposed to provide an easier mechanism to navigate to categories

Describe the solution you'd like
Reusing the category navigation widget, we can provide a quick way to find and jump to a category. I'm proposing to add a Navigate button on the category display page that opens a category navigation widget dialog. The configured action for selecting a category in the widget is redirecting the browser to the display page of that category.

Describe alternatives you've considered
This approach would also help navigating to very nested categories #3727. A drawaback of a "deep" tree view is that for instances with many categories this list will be very long. Power users will be comfortable with Ctrl+F, but others will likely end up browsing by scrolling down. This would probably require using some sort of real time filtering, but the category navigator widget already comes with it.

Additional context
I've prototyped this feature in UNOG-Indico@1f4d740.

Navigate button:

Configured category navigation widget: