Actually use the Jupyterlite config for offline resource usage, remov…

…e source maps

Dockerfile

@@ -14,7 +14,9 @@ ENV TARGET_DIR=${GITHUB_WORKSPACE:-/github/workspace}
 # (see https://jupyterlite.readthedocs.io/en/latest/howto/configure/advanced/offline.html), the
 # Kernel version is taken from https://github.com/jupyterlite/pyodide-kernel/blob/main/packages/pyodide-kernel/package.json
 CMD jupyter lite build \
+  --config /build/jupyter_lite_config.json \
   --lite-dir /build \
-  --pyodide https://github.com/pyodide/pyodide/releases/download/0.23.2/pyodide-0.23.2.tar.bz2 \
+  --no-sourcemaps \
   --output-dir notebooks \
+  --pyodide https://github.com/pyodide/pyodide/releases/download/0.23.2/pyodide-0.23.2.tar.bz2 \
   && tar -czf ${TARGET_DIR}/jupyter-lite-build.tgz notebooks