update autohide gnome panels scripts for new Gnome3 panel names