The tool is now available here: typestate-editor.github.io