Properly update Firebug toolbox-tab when the user switches between Firefox tabs