tab: add GbTab:dirty.
tabs: update tab-label when GbTab:dirty property changes.
editor: update GbTab:dirty when document modification changes.