README.md: revise explanation of nondeterminism
also try adding links to msocket.py, svg/synchronous_graph.svg, other files