Remove tor-launcher references

Since we've merged tor-browser!348 (merged), we should remove further tor-launcher references from this repo.

(But we might merge !531 (merged) first).