New function wbtree-idiff

This function computes the union and the intersection of two
trees in one go.