adding GTK+ 3.12 features like headerbar and popovers