A set of basic extensions for gnome-shell.

More extensions are available on https://extensions.gnome.org/
In future release this will be more intergrated.