Document ISO_STREAM in the tor man page
Tor applies stream isolation by default: each new origin stream gets a new circuit.
This means that the default behaviour of Tor is stricter than IsolateDestAddr and IsolateDestPort, because each different destination address or port needs a new stream.
We should document this in the tor man page under the SOCKSPort option.