added a function reproducing zip() in Python.
- 11.8.2