Forward Kani arguments to AutoHarness list commands

[wodex1nhaoIeng]

Summary

Forward arguments supplied through --kani-args to the AutoHarness list
invocations used by:

• --run list --with-autoharness
• --run metrics --with-autoharness

Motivation

run-kani.sh parses and stores arguments following --kani-args, but the
AutoHarness list branches did not pass those arguments to Kani.

As a result, options such as --include-pattern and --exclude-pattern were
silently ignored, causing list and metrics to process the complete
AutoHarness function set instead of the requested subset.

[CYJ904]

Verified locally on origin/main base — after checking scripts/run-kani.sh in full, command_args is populated consistently with the rest of the script (command_args=("$@"), already forwarded via "${command_args[@]}" in several other invocation paths), so this fix follows the existing pattern rather than introducing something new.

Ran --run list --with-autoharness --kani-args --include-pattern "" on this branch and confirmed the filter is actually reaching Kani (functions not matching the pattern come back tagged Did not match provided filters, which only appears once Kani receives the flag) — so the forwarding works end to end.