added option to use gcc10

base/Dockerfile

@@ -16,9 +16,11 @@ RUN curl -SsL https://rpm.nodesource.com/setup_10.x | bash
 
 # Install all OS dependencies for notebook server that starts but lacks all
 # features (e.g., download as all possible file formats)
+# to use devtoolset 10 (e.g. gcc): scl enable devtoolset-10 bash
 RUN yum install -y epel-release && \
         yum-config-manager --enable epel && \
         yum  groupinstall -y 'Development Tools' && \
+        yum install -y centos-release-scl && yum install -y devtoolset-10 && \
         yum install -y \
         bzip2-devel \
         cmake \