show more properties in tut21, and add a Python version

tut21 should show more of the supported properties: it's missing for instance is_unambiguous(). Also most of this C++ example should be doable in Python as well; but we probably need to add some magic to iterate easily over the states/transitions from Python.