Added WeightedRobinsonFouldsDistance; renamed RobinsonFoulds to RobinsonFouldsDistance