Go back to using a GtkBox instead of GtkHeaderBar

The looks are slicker. It is pending to find a way of adding a close button
and a new tab button.