Simplify and improve performance: check for tab's "selected" attribute instead of gBrowser.selectedTab
Highlight private tabs in "List all tabs" menu
(part 1 for #113)
Update opened "List all tabs" menu, if private mode of some tab was changed
(part 2 for #113)