gui: fix connection history retaining stale counter-based ID

_push_lru ran right after connect, before MON-VER resolves the device
name, so history entries kept the placeholder ID forever. Dedupe LRU
entries by connection endpoint (host/port, serial port, or file path)
instead of by receiver_id, and re-push once the device name is known
so the corrected entry replaces the placeholder instead of duplicating
it.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XM4FNUjhu9x8df5Dp1hHvd

gui/connection_tab.py

@@ -356,3 +356,5 @@ class ConnectionTab(QWidget):
             if row.get_receiver_id() == rid:
                 row.set_version_info(device_id, sw_version)
                 break
+        if device_id:
+            self._refresh_history_combo()