Some distributions ship a gnome-terminal that changes the
new-terminal menu via conditionally compiled code. That makes
it impossible for the user to change back to the upstream
behaviour.

Instead, add a hidden pref that distributions can set
via a gsettings override, and users can change back to
the default.

#30