Clean the macOS tor script
On macOS, tor is a script, and tor is renamed to tor.real and moved somewhere else.
That script contains very old stuff, like references to Python for obfs3.
What remains is a setting for the library path, which we could even remove and either add it to the tor-launcher, or we could switch to static linking.