SideBar: add tooltips to buttons

Closes #259.