Efficiently computing the Robinson-Foulds metric.

Efficiently computing the Robinson-Foulds metric.