Update cartesianProduct docs.

I seem to have forgotten to update the docs about the range requirements for the case of two infinite ranges: actually, using Andrei's schedule, only forward ranges are required. There's no additional requirement (like take being reversible, etc.).