GUI: file name in card name

[marco-foscato]

The name of the file that was read-in (if any) combined with the tab identifier should appear somewhere in the GUI. The frame title is not a good place because it is not shown when the windows is full size. The best place if the "Active Tab" menu: add the filename (if the content comes from a file) and a tick mark to indicate which tab is currently on top.