Filter procedures as you type in the CLI

The interactive procedure and deployment pickers in tofupilot link and tofupilot run now filter as you type, so you no longer page through long lists to find one.

• Added fuzzy filtering to the link and run pickers — start typing to narrow the list instantly.
• Showed a short id next to each procedure name so duplicate names are easy to tell apart.
• Fixed link --procedure <name> to report an error and list matching ids when a name is ambiguous, instead of silently picking the first match.