feat: add proxy support for ripgrep download

[dipfocus]

Description

• Added support for using a proxy (https_proxy/HTTPS_PROXY) when downloading ripgrep.
• The download process will automatically use the proxy if one is configured, and will work as usual if no proxy is set.

Checklist

• [x] I've read the contributing guide
• [x] The relevant docs, if any, have been updated or created
• [x] The relevant tests, if any, have been updated or created

Screenshots

N/A

Tests

• Manually tested ripgrep download with and without a proxy environment. Both scenarios work as expected.