message: Need to rebuild gudhi/pip_for_gudhi docker image
diff: @@ -39,12 +39,14 @@ RUN /opt/python/cp35-cp35m/bin/pip install -r build-requirements.txt \
  && /opt/python/cp36-cp36m/bin/pip install -r build-requirements.txt\
  && /opt/python/cp37-cp37m/bin/pip install -r build-requirements.txt\
  && /opt/python/cp38-cp38/bin/pip install -r build-requirements.txt\
  - && /opt/python/cp38-cp38/bin/pip install twine
  + && /opt/python/cp39-cp39/bin/pip install -r build-requirements.txt\
  + && /opt/python/cp39-cp39/bin/pip install twine
  ENV PYTHON35="/opt/python/cp35-cp35m/"
  ENV PYTHON36="/opt/python/cp36-cp36m/"
  ENV PYTHON37="/opt/python/cp37-cp37m/"
  ENV PYTHON38="/opt/python/cp38-cp38/"
  +ENV PYTHON38="/opt/python/cp39-cp39/"
  ENV PATH="/opt/cmake/bin:${PATH}"
  ENV PATH="/opt/rh/devtoolset-8/root/usr/bin:${PATH}"
  