UI: list harnessed attached to the function

[zjp-CN]

{
  "function": "time::Duration::subsec_nanos",
  "file": "/home/runner/work/distributed-verification/distributed-verification/verify-rust-std/library/core/src/time.rs",
  "harnesses": [
    "time::duration_verify::duration_subsec_nanos",
    "time::duration_verify::duration_subsec_nanos_panics"
  ]
}

List harnesses targeting the function. Say the above two harnesses for subsec_nanos.