Move gtrieScanner from postBuild to appendix.

This writes out a binary to /usr/local/bin/. I think this is better than putting it in a conda path since it isn't a conda executable. The appendix is necessary since it can run as root.

Dockerfile.appendix

@@ -1,2 +1,11 @@
 USER root
-RUN ls -ld /usr/local/bin/
+
+# As requested in slack.
+# http://www.dcc.fc.up.pt/gtries/
+# https://github.com/ComplexNetworks-DCC-FCUP/gtrieScanner
+RUN wget -O /tmp/gtrieScanner.zip https://www.dcc.fc.up.pt/gtries/gtrieScanner_src_01.zip && \
+    unzip -d /tmp /tmp/gtrieScanner.zip && \
+    make -C /tmp/gtrieScanner_src_01 && \
+    install -o root -g root -m 0755 /tmp/gtrieScanner_src_01/gtrieScanner /usr/local/bin/
+
+USER $NB_USER

postBuild

@@ -5,15 +5,3 @@ set -e
 # installing chromium browser to enable webpdf conversion using nbconvert
 export PLAYWRIGHT_BROWSERS_PATH=${CONDA_DIR}
 playwright install chromium
-
-# As requested in slack.
-# http://www.dcc.fc.up.pt/gtries/
-# https://github.com/ComplexNetworks-DCC-FCUP/gtrieScanner
-cd /tmp
-wget https://www.dcc.fc.up.pt/gtries/gtrieScanner_src_01.zip
-unzip gtrieScanner_src_01.zip
-cd gtrieScanner_src_01
-make
-# CONDA_DIR is writable by our UID in postBuild. Ideally this would be
-# in /usr/local/bin/.
-install -m 0755 gtrieScanner ${CONDA_DIR}/bin/