added Gnome extension install tool and script with extensions.