Move benchcomp YAML file to avoid spurious GitHub errors

GitHub reported "No event triggers defined in `on`" for
`github/workflows/benchcomp-config.yaml`, which was never to define any
GitHub actions in the first place. Move the Benchcomp config and the
Benchcomp parser to a directory of their own to avoid these spurious
warnings.

Author: tautschnig

.github/workflows/benchcomp-config.yaml renamed to .github/performance/benchcomp-config.yaml

@@ -25,7 +25,7 @@ run:
   suites:
     aws-c-common:
       parser:
-        command: /home/runner/work/cbmc/cbmc/new/.github/workflows/benchcomp-parse_cbmc.py
+        command: /home/runner/work/cbmc/cbmc/new/.github/performance/benchcomp-parse_cbmc.py
       variants:
         - aws-c-common@old
         - aws-c-common@new

.github/workflows/benchcomp-parse_cbmc.py renamed to .github/performance/benchcomp-parse_cbmc.py

@@ -97,20 +97,20 @@ jobs:
       - name: Run benchcomp
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             run
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             collate
 
       - name: Perf Regression Results Table
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             visualize --only dump_markdown_results_table >> "$GITHUB_STEP_SUMMARY"
 
       - name: Run other visualizations
         run: |
           kani.git/tools/benchcomp/bin/benchcomp \
-            --config new/.github/workflows/benchcomp-config.yaml \
+            --config new/.github/performance/benchcomp-config.yaml \
             visualize --except dump_markdown_results_table