feat: Preferences: Add a search filter for preference pages

Add a search entry to the preferences sidebar. While typing, pages whose title, group titles, setting labels or descriptions do not contain the search text are filtered out of the sidebar.

Add an optional "keywords" field to Setting and a "keywords" class attribute to preference pages. This assists in finding settings by searching for synonyms.