fix: remove docker container after exit

The build script leaves multiple containers in a host environment. This update adds an `--rm` option to remove a Docker container after a command is executed.

Signed-off-by: Evgeny Semenov <[email protected]>

Author: qwersem

bin/setup

@@ -111,9 +111,9 @@ elif [ "${CONTAINER_TYPE}" == "docker" ]; then
         docker build -t riscvintl/udb:${CONTAINER_TAG} -f .devcontainer/Dockerfile .
     fi
     if [ -t 1 -a -t 0 ]; then
-      DOCKER_BASE="docker run -it -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}"
+      DOCKER_BASE="docker run --rm -it -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}"
     else
-      DOCKER_BASE="docker run -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}"
+      DOCKER_BASE="docker run --rm -v ${ROOT}:${ROOT} -w ${ROOT} riscvintl/udb:${CONTAINER_TAG}"
     fi
 elif [ "${CONTAINER_TYPE}" == "singularity" ]; then
     CONTAINER_PATH=${ROOT}/.singularity/image-$CONTAINER_TAG.sif