Run Docker container as the host user (#433)

The `docker run` command that builds the ACLE locally now runs as the
host user. This way, the output files are owned by that same user
instead of by root.

Author: vhscampos

build_with_docker.sh

@@ -1,12 +1,12 @@
 #!/usr/bin/env bash
 
-# SPDX-FileCopyrightText: Copyright 2021 Arm Limited and/or its affiliates <[email protected]>
+# SPDX-FileCopyrightText: Copyright 2021-2026 Arm Limited and/or its affiliates <[email protected]>
 # SPDX-License-Identifier: Apache-2.0
 
 set -x
 IMAGE_NAME=acle_build
 # Build the image.
 docker build -t $IMAGE_NAME tools/docker
 # Run the image, mounting the current folder into the /src folder of
-# the docker image.
-docker run --rm --mount type=bind,source="$(pwd)",target=/src $IMAGE_NAME
+# the docker image. Run as the host user so that the output files are owned by them.
+docker run --rm -u $(id -u):$(id -g) --mount type=bind,source="$(pwd)",target=/src $IMAGE_NAME