chore: suppress pull progress (#3296)

In this PR:
- Add `--quiet` option to `docker run` to suppress pulling progress,
according to [docker run
doc](https://docs.docker.com/reference/cli/docker/container/run/)

.github/scripts/hermetic_library_generation.sh

@@ -95,6 +95,7 @@ popd
 # run hermetic code generation docker image.
 docker run \
   --rm \
+  --quiet \
   -u "$(id -u):$(id -g)" \
   -v "$(pwd):${workspace_name}" \
   -v "${m2_folder}":/home/.m2 \

library_generation/test/integration_tests.py

@@ -311,6 +311,7 @@ def __run_entry_point_in_docker_container(
                 "-u",
                 f"{user_id}:{group_id}",
                 "--rm",
+                "--quiet",
                 "-v",
                 f"{repo_location}:/workspace/repo",
                 "-v",