A gnome shell extension that allows to use Slingshot Launcher from Elementary OS