Rename tree height to time#1331

mergify[bot] merged 1 commit intotskit-dev:maintskit-dev/tskit:mainfrom

benjeffery:rename-tree-heightbenjeffery/tskit:rename-tree-heightCopy head branch name to clipboard