Add extended search option for permission groups

This MR needs the changes of https://gitlab.hzdr.de/hub-terra/sms/backend/-/merge_requests/334, so that the elasticsearch supports the necessary any operation to filter for the group_ids array.

I'm not sure if I covered all the needed places in the code, especially for the platforms. For the devices I tested it & it worked.

Nevertheless we will need a better way to display it:

(At least for our current test groups at GFZ, the names are too long).