tools/mpremote: Add "devs" shortcut for "connect list".

See issue #7480.

Signed-off-by: Damien George <damien@micropython.org>

tools/mpremote/mpremote/main.py

@@ -27,6 +27,7 @@ _PROG = "mpremote"
 
 _BUILTIN_COMMAND_EXPANSIONS = {
     # Device connection shortcuts.
+    "devs": "connect list",
     "a0": "connect /dev/ttyACM0",
     "a1": "connect /dev/ttyACM1",
     "a2": "connect /dev/ttyACM2",