[tor-commits] [tor-launcher/master] Synchronize some prefs.js and get{Bool, Char, Int}Pref() defaults