Update Tor Browser to 4.0.1
Merge pull request #7117 from federicobond/torbrowser

Update Tor Browser to 4.0.1