Hide separator when there are no favorites

By default there are apps in the favorites list. If the user removes all apps from favorites, hide the favorites separator. If the user adds a favorite, show the separator again. This is neatly accomplished through the favorites revealer and is consistent with the behavior of GNOME Shell.