chore: make docker_publish_measurements target work better locally, improve daily benchmarks workflow

.github/workflows/daily-benchmarks.yaml

@@ -41,7 +41,9 @@ jobs:
           key: ${{ secrets.BENCHMARKS_EC2_SSH_KEY }}
           script: |
             cd ~/concretefhe-internal
+            git pull
             make docker_publish_measurements
+            docker system prune -f
 
       - name: Write SSH Key To A File
         run: echo "$SSH_KEY" > ~/ssh-key && chmod 400 ~/ssh-key

Makefile

@@ -133,7 +133,6 @@ docker_bas: docker_build_and_start
 .PHONY: docker_bas
 
 docker_publish_measurements: docker_build
-	git pull
 	mkdir -p .benchmarks
 	python script/progress_tracker_utils/extract_machine_info.py
 	docker run --rm --volume /"$$(pwd)":/src $(DEV_DOCKER_IMG) \