Extension manager

[Thomas Bouffon <thomas bouffon gmail com>]

Hi all !

A few weeks ago, I started a little piece of python code that can only
enable/disable extensions at the moment. It could really useful, eg to
configure auto-move-windows.
It is really dirty as I did not have the gsettings gobject introspection.
After that was released the Gnome Tweak tool. At first I thought the
extension management could go in the tweak tool, but perhaps it should
not.

I'm leaving the tarball in this email, if anyone wants to try / improve it.

Cheers,

Thomas
P.S : Thanks Gio for the extension repo/release !