Support for setting HTTP proxy but not HTTPS

[gmsanchez]

Hi,

In the repository https://github.com/lgenzelis/ProxyMan-Reloaded, @lgenzelis added the following

• Added an option to set up the proxy configuration file that would be set by the OS GUI. This is needed by some programs (e.g., Google Chrome) to work properly behind a proxy. Tested in Kubuntu 18.04.
• Added bash completition.
• Given the choice not to set a proxy for HTTPS or FTP connections
• Corrected some minor bugs.

Could these improvements be merged into ProxyMan?

Thanks in advance