Append about run-mealy.py to README.md