Old torbutton + torlauncher prefs cleanup

With the torbutton and torlauncher cleanup, we could need to delete user preferences that aren't used anymore and could leak old habits.