[tor-commits] [torbrowser/master] Update patches for Firefox 17ESR.