Use a traditional title bar when requested

Not all environments desire header bars. We use the
'gtk-shell-shows-menubar' setting to decide whether to use the header
bar.

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