ci: add Spring Data Redis integration test workflow

[tishun]

Adds a GitHub Actions workflow that verifies Jedis changes do not break Spring Data Redis (SDR).

The workflow:

• Builds the current Jedis source and installs it to the local Maven repo
• Clones Spring Data Redis and patches it to consume the locally built Jedis
• Provisions the required Redis topologies via SDR's make start (standalone, auth, cluster, sentinel)
• Runs SDR's Jedis-scoped test suite (**/jedis/**/*Test, **/jedis/**/*Tests)
• Tears down the Redis infrastructure and uploads surefire reports as an artifact

Verified on run 24897960792:

3568 tests executed, 0 failures, 0 errors, 258 skipped — completed in ~4m30s.

Similar to redis/lettuce#3732

---

Note

Low Risk
CI-only change that adds additional test coverage; main risk is longer CI time or occasional workflow flakiness due to external checkout/Redis startup.

Overview
Adds a new GitHub Actions workflow (spring-data-redis-integration.yml) to validate Jedis changes against Spring Data Redis on PRs (and via manual dispatch).

The job builds Jedis into the local Maven repo, checks out Spring Data Redis and patches its jedis dependency to the locally built version, then runs SDR compile checks plus Jedis-scoped unit and Redis-backed integration tests (bringing Redis up via make start with a selectable Redis image version) and uploads surefire reports as an artifact.

^{Reviewed by Cursor Bugbot for commit 551a65d. Bugbot is set up for automated code reviews on this repo. Configure here.}

[uglide]

LGTM

[ggivo]

LGTM

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{Reviewed by Cursor Bugbot for commit 1d8035b. Configure here.}