Rewrite APT sources to HTTPS.

Also, use consistent docker image naming.

See #2173

ci/openjdk17-redis6.2/Dockerfile

@@ -1,14 +0,0 @@
-# Custom OpenJDK 17 Docker Image
-FROM openjdk:17-bullseye
-
-# Copy Spring Data Redis's Makefile into the container
-COPY ./Makefile /
-
-# Install Redis 6.2
-RUN set -eux; \
-	apt-get update ; \
-	apt-get install -y build-essential ; \
-	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.4; \
-	chmod -R o+rw work; \
-	apt-get clean; \
-	rm -rf /var/lib/apt/lists/*;