Gnome shell extension for changing proxy