[tor-commits] [flashproxy/master] Add a --socks option to override port auto-selection.