runners: jlink: Make port selectable for J-Link IP

If multiple J-Links with IP support are used,
they can be selected with different ports.
The actual implementation is just using the default port.
Make the port selectable with <ip>:<port>.

Signed-off-by: Michael Arnold <[email protected]>

Author: marnold-b

scripts/west_commands/runners/jlink.py

@@ -31,7 +31,7 @@
 
 def is_ip(ip):
     try:
-        ipaddress.ip_address(ip)
+        ipaddress.ip_address(ip.split(':')[0])
     except ValueError:
         return False
     return True