configure custom tor connector ports in custom settings menu

[james-see]

[james-see]

Valid enhancement request. Currently Elector is hardcoded to connect to 127.0.0.1:9050 (the default Tor SOCKS proxy). Adding a settings UI to configure custom ports would be useful for users running Tor on non-standard ports or connecting to remote Tor instances. Keeping this open as a feature request for a future version.