Linux proxy support for installer

This patch loads the proxy definition of the enviroment variables in Linux, and uses them to download arkOS.