GNOME dumps Google and goes with DuckDuckGo for web search