Add ldv regression benchmarks to incremental benchmarks#35

jerhard wants to merge 13 commits into

mastergoblint/bench:masterfrom

incremental_ldvgoblint/bench:incremental_ldvCopy head branch name to clipboard