misc: update properties

Author: AlexanderSchultheiss

docker-resources/verification.properties

@@ -16,5 +16,7 @@ diff-detective.output-dir=ground-truth/dd
 diff-detective.repo-storage-dir=ground-truth/REPOS
 # Path to which the ground truth is saved. Do NOT change this without knowing how this affects the Docker file system interface
 extraction.gt-save-dir=ground-truth
+# Number of threads to use
+diff-detective.num-threads=1
 # Number of commits to process in a single batch by one thread
 diff-detective.batch-size=8