Output for overlappings

For some analyses, it might be useful to know how many overlappings are found between pairs of rules. 

Currently, Verigraph computes them in order to perform critical pairs (resp. sequences), concurrent rules and others, but does not provide a way to retrieve this information alone directly at the outuput.