Add `AncestorData` diagnostic plots function.

[benjeffery]

To plan a large ancestor match one needs to see plots of:

• Group size (determines parallelism)
• Ancestor size distribution (determines needed worker RAM)
• Total ancestor length in group (roughly linear to total CPU time needed to match the group)

Would be good to have this be a maintained function in tsinfer.