Gnome Shell 3.7.2 com suporte para provedores de pesquisa