devops: fix broken bionic Docker image (#1195)

Author: mxschmitt

utils/docker/Dockerfile.bionic

@@ -7,8 +7,8 @@ ARG TZ=America/Los_Angeles
 
 RUN apt-get update && \
     # Install Python
-    apt-get install -y python3 python3-distutils curl && \
-    update-alternatives --install /usr/bin/python python /usr/bin/python3 1 && \
+    apt-get install -y python3.8 python3-distutils curl && \
+    update-alternatives --install /usr/bin/python python /usr/bin/python3.8 1 && \
     curl -sSL https://bootstrap.pypa.io/get-pip.py -o get-pip.py && \
     python get-pip.py && \
     rm get-pip.py && \