Fixes #6394: Update manifest refresh to use proxy if configured.

I would probably use URI to build it:
```
uri = URI('')
uri.scheme = 'https'
uri.host = 'proxy.example.com
uri.port = 3000 
uri.password = 'pass'
uri.user = 'admin'
puts uri.to_s
```