A clone for Gnome Shell of Slingshot, the app launcher from Elementary OS