extensions-app: Add extension filtering

It's possible for the list of installed extension to get long enough to make searching more convenient than scrolling.

Support that by implementing the standard search pattern[0] with a hidden search bar and a toggle in the headerbar.

[0] https://developer.gnome.org/hig/stable/search.html.en

Fixes #3382 (closed)