gromovdist              Gromov-Hausdorff-type distances of labelled
                        metric spaces
