Investigate why TorLauncher is sometimes not loaded when starting TBB
Not sure how to frame this but it seems there is the possibility that the Tor Browser Bundle is not proper working at least on some Linux machines: on #tor on Saturday there was a user, aurel, who extracted a fresh 64bit TBB 3.5.4 but could not start browsing. The reason was that about:addons showed a missing TorLauncher. We should investigate how this can happen.