Optionally use a header bar in the preferences

Make the preferences dialog pay attention to the gtk-dialogs-use-header
GtkSetting.