Mapping the world's forests, said to include some 1.5 trillion trees, is a big, big job—one that will be made a whole lot ...