Added a script to manage proxying in gnome.