An SCXML implementation in Python