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

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).