Add branches of LambertW

fixes #7105
fixes #5215
I know this is already merged, but can we say something about how the branches are defined here? Is it correct that the 0 branch is real, and the other branches are ordered along the complex axis?