New variables

Variable	Description
manual.http_proxy.address `domainname` `mandatory`	HTTP address. Validators: • type domainname • the domain name can be an IP
manual.http_proxy.port `port` `mandatory`	HTTP Port. Validators: • well-known ports (1 to 1023) are allowed • registred ports (1024 to 49151) are allowed • private ports (greater than 49152) are allowed Default: 8080
manual.use_for_https `boolean` `mandatory`	Also use this proxy for HTTPS. Default: true
manual.https_proxy.address `domainname` `mandatory`	HTTPS address. Validators: • type domainname • the domain name can be an IP Default: the value of the variable "HTTP address".
manual.https_proxy.port `port` `mandatory`	HTTPS Port. Validators: • well-known ports (1 to 1023) are allowed • registred ports (1024 to 49151) are allowed • private ports (greater than 49152) are allowed Default: the value of the variable "HTTP Port".