script to change proxy settings of a browser