Make DropDown more performant for many options

[Arnei]

Attempts to improve performance of the DropDown component for scenarios where a dropdown has a lot (~10000) options to choose from. Improvements should be most apparent in the access control tabs in case of many roles,
and the series table filter in case of many series.

Introduces virtualization to our DropDown, using react-window. Unfortunately forces us to define fixed heights
for our options, which may cause trouble for long labels.

Makes auto-translation of option labels optional, as it can be very expensive and thus should be avoided if not needed.

Switch Select for AsyncSelect. This allows us to potentially cache option calculations, further reducing computation time.

Memoize the getFilters selector. Should prevent constant rerenders in certain cases.

Screencast of improved performance (this PR):
Bildschirmaufzeichnung vom 2025-06-20 10-45-18.webm

Screencast of unimporved performance (r/17.x):
Bildschirmaufzeichnung vom 2025-06-20 10-46-42.webm

[github-actions]

Use docker or podman to test this pull request locally.

Run test server using develop.opencast.org as backend:

podman run --rm -it -p 127.0.0.1:3000:3000 ghcr.io/opencast/opencast-admin-interface:pr-1343

Specify a different backend like stable.opencast.org:

podman run --rm -it -p 127.0.0.1:3000:3000 -e PROXY_TARGET=https://stable.opencast.org ghcr.io/opencast/opencast-admin-interface:pr-1343

It may take a few seconds for the interface to spin up.
It will then be available at http://127.0.0.1:3000.
For more options you can pass on to the proxy, take a look at the README.md.

[github-actions]

This pull request is deployed at test.admin-interface.opencast.org/1343/2025-06-20_08-43-35/ .
It might take a few minutes for it to become available.

[github-actions]

This pull request has conflicts ☹
Please resolve those so we can review the pull request.
Thanks.