Use GtkHeaderBar with a custom widget

Instead of completely rolling our own widget for the header bar, use a stock
GtkHeaderBar with a custom label widget inside. This makes the header bar
reasonably sized (and still sleek looking) while maintaining coherency with
other applications.