software/theia: Increase nodejs memory

Sometimes nodejs runs out of memory during the build of Theia.
See https://github.com/eclipse-theia/theia/issues/4132
This is in prevention of that issue.

software/theia/software.cfg

@@ -213,6 +213,7 @@ command = ${bash:location}/bin/bash -c "
     PATH=${nodejs:location}/bin:${pkgconfig:location}/bin:$PATH \
     PKG_CONFIG_PATH=${libsecret:pkg-config-path} \
     LDFLAGS='-Wl,-rpath=${libsecret:location}/lib -L${gettext:location}/lib -Wl,-rpath=${gettext:location}/lib -Wl,-rpath=${glib:location}/lib' && \
+    NODE_OPTIONS="--max-old-space-size=4096" \
   mkdir -p ${:location} && \
   mkdir -p \$TMPDIR && \
   cd ${:location} && \