getTorBrowserUserAgent: simplify.

Let's just duplicate the Tor Browser user-agent string, which hasn't
changed for years (and likely won't for a loooooong time). Generating
it from Tor Browser 8.0.2+ is much more complicated since it has been
split up in several different prefs.

Refs: #16017