Socket/README.txt: add more text
more explanation of split actions, enabling conditions, parameter generators
how they represent both nondetermism and concurrency