Add a Port: option when adding devkits by ip address.

Jeremy Whiting requested to merge addedByIpPort into main

Default to default port of 32000, but make it customizable by users. When loading settings.pickle, don't modify the settings, but save after loading on gui initialization. (Changes any previously saved devkits by ip to be by ip/defaultport tuple going forward).

Merge request reports