documenting formal operational semantics of Python

[davidj411]

Python 3.0 might end up better, but converting all those scripts will
be a chore.
I'd be curious to know how that will be done.