[tor-commits] [torbrowser/master] Update prefs.js to change some defaults for Firefox 17ESR.