feat(ci): add pruning of volumes

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>

ci-scripts/Jenkinsfile-GitLab-Docker

@@ -350,14 +350,16 @@ pipeline {
         }
         try {
           myShCmd('docker image prune --force', rem_u18_host_flag, rem_u18_host_user, rem_u18_host)
+          myShCmd('docker volume prune --force', rem_u18_host_flag, rem_u18_host_user, rem_u18_host)
         } catch (Exception e) {
-          echo "We failed to prune all unneeded intermediate images"
+          echo "We failed to prune all un-needed intermediate images/volumes"
         }
         if (rem_rhel_host_flag) {
           try {
             myShCmd('sudo podman image prune --force', rem_rhel_host_flag, rem_rhel_host_user, rem_rhel_host)
+            myShCmd('sudo podman volume prune --force', rem_rhel_host_flag, rem_rhel_host_user, rem_rhel_host)
           } catch (Exception e) {
-            echo "We failed to prune all unneeded intermediate images"
+            echo "We failed to prune all un-needed intermediate images/volumes"
           }
         }