treeprng.py: copyright, name, and some comments.