[docker] Re-add zip (java wants it)

Author: JakubVanek

build/Dockerfile.system

@@ -4,6 +4,7 @@ FROM debian:stretch
 
 # setup repositories and install required packages
 COPY apt.sources.list.debian /etc/apt/sources.list
+COPY 00aptproxy /etc/apt/apt.conf.d/
 COPY ev3dev-archive-keyring.gpg /etc/apt/trusted.gpg.d/
 RUN dpkg --add-architecture armel && \
     apt-get update && \
@@ -39,6 +40,7 @@ RUN dpkg --add-architecture armel && \
         cpio \
         gawk \
         file \
+        zip \
         pigz \
         unzip \
         procps \
@@ -51,7 +53,7 @@ RUN dpkg --add-architecture armel && \
 
 # download JDK 10
 RUN mkdir /opt/jdkcross
-RUN curl -SL https://download.java.net/java/GA/jdk10/10/binaries/openjdk-10_linux-x64_bin.tar.gz | tar -xzC /opt/jdkcross
+RUN curl -SL http://10.0.0.42/openjdk-10_linux-x64_bin.tar.gz | tar -xzC /opt/jdkcross
 
 # prepare a nonroot user
 COPY compiler.sudoers /etc/sudoers.d/compiler