add a file for metric trees

to be used with the proof of the universal property for the circle