Add tooltip with filename to document tabs

Add the filename as tooltip. This is convenient when multiple files are open and most of the tab labels are elided.