Bug 1042943 - Allow users to switch search engine

I think we should actually be using GeckoSharedPreferences for this:
http://mxr.mozilla.org/mozilla-central/source/mobile/android/base/GeckoSharedPrefs.java

But we can just make this an app-wide preference for now, as opposed to a per-profile pref.