add Socket/synchronous_graph
revise test_viewer to generate synchronous_graph
save generated synchronous_graph.svg in svg/ and .py in fsmpy/
also tweaks in README.txt