Replace hardcoded pool worker limit with configurable default.

Signed-off-by: Jason Volk <jason@zemos.net>

docker/Dockerfile.complement

@@ -111,6 +111,7 @@ ENTRYPOINT tuwunel -Oserver_name=\""$SERVER_NAME\""
 
 
 FROM input AS complement-testee-valgrind
+ARG db_pool_max_workers=128
 
 EXPOSE 8008 8448
 RUN mkdir /database
@@ -122,7 +123,8 @@ ENTRYPOINT valgrind \
     --exit-on-first-error=yes \
     --error-exitcode=1 \
     tuwunel \
-        -Oserver_name=\""$SERVER_NAME\""
+        -Oserver_name=\""$SERVER_NAME\"" \
+        -Odb_pool_max_workers=${db_pool_max_workers}
 
 
 FROM input AS complement-base

docker/Dockerfile.smoketest

@@ -28,6 +28,7 @@ EOF
 FROM input AS smoke-valgrind
 ARG leak_check="no"
 ARG undef_value_errors="no"
+ARG db_pool_max_workers=128
 COPY --link --from=input . .
 ENV TUWUNEL_LOG="info"
 ENV TUWUNEL_DATABASE_PATH="/tmp/smoketest.db"
@@ -42,7 +43,8 @@ RUN <<EOF
         tuwunel \
             -Otest='["smoke"]' \
             -Oserver_name=\"localhost\" \
-            -Odatabase_path=\"${TUWUNEL_DATABASE_PATH}\"
+            -Odatabase_path=\"${TUWUNEL_DATABASE_PATH}\" \
+            -Odb_pool_max_workers=${db_pool_max_workers}
 
     rm -rf "${TUWUNEL_DATABASE_PATH}"
 EOF