Add explanation of double complex gotten by tensor product of complexes

Thanks to Apurba Kumar Roy
http://stacks.math.columbia.edu/tag/064I#comment-559
http://stacks.math.columbia.edu/tag/064I#comment-566