DuckDuckGo searchplugin for Firefox