prefs: Remove override system

With the support for per-desktop default values in GSettings, we no longer need the mutter-specific override mechanism.

https://bugzilla.gnome.org/show_bug.cgi?id=786496