Trim imports
Move to Gtk.HeaderBar

Instead of having the drop-down-on-hover panel in the HTML, we put the
table of contents and settings butttons in the header bar.  Perhaps a
page count can go into the subtitle eventually.  When no book is opened,
an open button is in the header bar.