Proposed changes

Fix a bug when using port 80 within theproxy.address setting.

The parsing issue was caused by howUrl::parse() parses well known ports like 80.

Below shows the bug which is now resolved by switching to using .port_or_known_default() instead of .port().

# tedge config set proxy.address 'https://127.0.0.1:80'
Error: failed to set the configuration key: 'proxy.address' with value: https://127.0.0.1:80.

Caused by:
    0: Failed to parse input
    1: Invalid proxy URL: 127.0.0.1:80 is missing a port
    2: 127.0.0.1:80 is missing a port

Types of changes

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Improvement (general improvements like code refactoring that doesn't explicitly fix a bug or add any new functionality)
• Documentation Update (if none of the other choices apply)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Paste Link to the issue

#3803

Checklist

• I have read the CONTRIBUTING doc
• I have signed the CLA (in all commits with git commit -s. You can activate automatic signing by running just prepare-dev once)
• I ran just format as mentioned in CODING_GUIDELINES
• I used just check as mentioned in CODING_GUIDELINES
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)

Further comments