Updated DVMP benchmark

Sylvester Joostenrequested to merge
dvmp_benchmarks into master
  • More robust and understandable CI scripts
  • Improved resilience for parallel operation of scripts
  • Some restructuring of scripts, and separated utility scripts from developer tools.

Merge request reports