ExternalProduct -- external product of modules or complexes

Ways to use ExternalProduct:

• ExternalProduct(ChainComplex,ChainComplex)
• ExternalProduct(Module,Module)

For the programmer

The object ExternalProduct is a method function with options.