Added option to specify APT proxy.