Removed Bootstrap tooltips

Standard titles should suffice. This removes a dependency I didn’t
want, and lightens the page size (as if it matters with 70 http
requests for the icons!)