Transform window.name handling into Firefox patch

Right now, we reset window.name in Torbutton in torbutton_check_progress(). We should rewrite this as a direct Firefox patch, as per our SponsorU Torbutton conversion deliverable.