Fixes for SWE-bench Multilingual

[ludwig-n]

This PR fixes several issues with SWE-bench Multilingual evaluation that arise when running inside of unpriviliged Apptainer containers on a cluster. Specifically, it fixes several instances where gold patches were being evaluated as "unresolved".

1. All Java repositories that use mvnd to run tests (specifically, google/gson and apache/druid) now use mvn instead. This is because mvnd fails to run in our setup for some reason. My understanding is that mvnd is basically a more efficient wrapper over mvn, so test results should not be affected.
2. Tests for redis/redis and valkey-io/valkey instances are now hardcoded to use different ports for their servers. Previously, they would all use the same port, and it often caused conflicts when running multiple instances on one node (with unprivileged Apptainer containers, there is no way to isolate the ports without cutting off Internet access).
3. micropython/micropython instances now run tests sequentially instead of in parallel. Previously, the parallel runs resulted in race conditions when printing the test results, causing the parser to interpret them incorrectly.

After these fixes, gold patches for these instances now pass successfully.

None of these are Python repositories, so evaluation for Python-only datasets like SWE-bench Verified is unaffected by this change.

[wasiahmad]

@ludwig-n Do we have 100% of the gold patches across languages passing all tests? If not, can we list the instance ids for the failed ones here as a record?

[ludwig-n]

Sure! Instances where gold patches consistently fail:

• jqlang__jq-2681 (patch fails to apply)
• tokio-rs__tokio-4384 (seems to be a dependency version issue)

Instances that are inconsistent (sometimes pass and sometimes fail):

• axios__axios-4731
• axios__axios-4738
• axios__axios-5892
• caddyserver__caddy-5995
• valkey-io__valkey-928 (despite the --baseport fix)

For these instances the reason is most likely port conflict issues, but they aren't easy to fix because the ports in question are hardcoded in the test code.