This command will save the proxy settings and everytime get_html
is called the connection will use the proxy server. If the parameter
does not contain the : the system will use port 80 as default
parameter: proxyHost:proxyPort
examples:
set_proxy | 10.100.12.14:8080
set_proxy | 10.100.12.14
author: Mecky