ui: Use a GtkHeaderBar

Not that we're doing anything with it yet, but we'll think of
something...