Add stable redis version to docker

Makefile

@@ -46,6 +46,8 @@ build_docker: fetch_sotw
 	cp deps/chowner.sh stage.tmp/
 	cp deps/run_nethack.sh stage.tmp/
 	cp deps/reclist.c stage.tmp/
+	wget -O stage.tmp/redis-server https://cryo.unixvoid.com/bin/redis/5.0.7/redis-server
+	chmod +x stage.tmp/redis-server
 	cd stage.tmp/ && \
 		$(OS_PERMS) docker build -t $(IMAGE_NAME) .
 

deps/Dockerfile

@@ -3,7 +3,6 @@ FROM debian:stretch
 # install needed packages
 RUN apt-get update && \
   DEBIAN_FRONTEND=noninteractive apt-get install -y \
-    redis-server \
     openssh-server \
     autoconf \
     bison \
@@ -100,6 +99,7 @@ RUN gcc reclist.c -o /bin/reclist
 RUN rm reclist.c
 
 # copy in files
+COPY redis-server /usr/bin/
 COPY config.gcfg /
 COPY nethack-launcher /
 COPY redis.conf /