Make target_path required in regression2sv-benchmarks
Make target_path required in regression2sv-benchmarks

This avoids accidentally running the script and having everything in the Goblint directory.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer