Support filtering for interactive `--resume` session picker

[andyfeller]

Describe the feature or problem you'd like to solve

I find it difficult to find the right interactive session to resume when there are hundreds to choose from. It would help me narrow down the list if I could filter the results based on text; whether the session summary or some other information about the session.

Proposed solution

In the GitHub CLI, users can "type to filter" in any single or multi select prompt:

$ gh repo create
? What would you like to do?  [Use arrows to move, type to filter]
> Create a new repository on github.com from scratch
  Create a new repository on github.com from a template repository
  Push an existing local repository to github.com

Something like this would provide an ideal and consistent experience in GitHub CLIs. 🤔

Example prompts or workflows

No response

Additional context

$ copilot --resume
 Select a session to resume:

 #    Modified    Created     Msg  Summary

...
 ▋  511. 1mo ago     1mo ago     5    What does the `cli/cli` repository say is the best way...
 ▋  512. 1mo ago     1mo ago     18   What does the `cli/cli` repository say is the best way...
 ▋  513. 1mo ago     1mo ago     4    I'd like for you to display the `cli/cli` repository readme
 ▋  514. 1mo ago     1mo ago     41   I would like your help enhancing the `cli` logic within...
 ▋  515. 1mo ago     1mo ago     0    (no message content)
 ▋  516. 1mo ago     1mo ago     0    (no message content)

 Use ↑↓ to navigate, Enter to select, Esc to cancel

[avanderhoorn]

@andyfeller Would this filter on the Summary field?

[examon]

This should be resolved as of v0.0.394. You can now press / in the --resume session picker to enter search mode and filter sessions by their summary text. If you find this isn't working as expected, feel free to reopen the issue.