Add a utility script to list the names of leaves in a tree