ui: add hover tooltips to header buttons

[psybuzz]

Hovering over the gear should say 'Settings', for example

[stephanwlee]

I assume simple title is not what we want. We already do make use of paper-tooltip and it seems potent enough: https://www.webcomponents.org/element/@polymer/paper-tooltip/demo/demo/index.html