Use headerbar in the preferences dialog

https://bugzilla.gnome.org/show_bug.cgi?id=727050
Require GTK+ 3.12, Vala 0.24

For GtkDialog use_header_bar

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