Updated DVMP benchmark

• More robust and understandable CI scripts
• Improved resilience for parallel operation of scripts
• Some restructuring of scripts, and separated utility scripts from developer tools.

enabled an automatic merge when the pipeline for bd3ca37f succeeds

approved this merge request

merged