Install MongoDB tools in server docker

.docker/server_dockerfile

@@ -2,10 +2,14 @@
 FROM python:3.10 as base
 SHELL ["/bin/bash", "--login", "-c"]
 EXPOSE 5001
-RUN apt update && apt install -y tree && apt clean
+RUN apt update && apt install -y gnupg curl tree && apt clean
 
-# Install the older version of mdbtools (0.7.1) until https://github.com/echemdata/galvani/issues/89 is resolved
 WORKDIR /opt
+# Install MongoDB tools in the official way
+RUN wget https://fastdl.mongodb.org/tools/db/mongodb-database-tools-ubuntu2204-x86_64-100.9.0.deb
+RUN apt install ./mongodb-database-tools-*-100.8.0.deb
+
+# Install the older version of mdbtools (0.7.1) until https://github.com/echemdata/galvani/issues/89 is resolved
 RUN git clone https://github.com/mdbtools/mdbtools --depth 1 --branch 0.7.1
 WORKDIR /opt/mdbtools
 RUN autoreconf -i -f