Require GTK+ 3.12

For GtkDialog::use-header-bar
Use a header bar for the preferences dialog