Configuring the web proxy with proxy auto-config (PAC) scripts