leolib.py: utilities for leonistas, classes LeoFile and LeoNode, assorted functions