Require GTK+ 3.12

For GTK_DIALOG_USE_HEADER_BAR
Use a header bar on the preferences dialog
Preferences dialog: make non-modal