Cartan eilenberg resolutions

[HechtiDerLachs]

This is a draft PR for adding Cartan-Eilenberg resolutions for complexes of modules.

I am working on this because I use it in a paper which I am going to present in this conference. This is still work in progress, but I want to keep it up to date with the current OSCAR and make sure that tests are running.

[codecov]

Codecov Report

Attention: Patch coverage is 78.22581% with 27 lines in your changes missing coverage. Please review.

Project coverage is 84.59%. Comparing base (eaa8972) to head (d5eaa1e).
Report is 2 commits behind head on master.

Files with missing lines	Patch %	Lines
...mplexes/src/Objects/cartan_eilenberg_resolution.jl	75.67%	27 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4248      +/-   ##
==========================================
- Coverage   84.59%   84.59%   -0.01%     
==========================================
  Files         631      632       +1     
  Lines       85064    85177     +113     
==========================================
+ Hits        71960    72054      +94     
- Misses      13104    13123      +19     

Files with missing lines	Coverage Δ
...tal/DoubleAndHyperComplexes/src/Morphisms/Types.jl	77.19% <100.00%> (+2.68%)	⬆️
...exes/src/Morphisms/cartan_eilenberg_resolutions.jl	88.46% <ø> (-2.17%)	⬇️
...ental/DoubleAndHyperComplexes/src/Objects/Types.jl	72.12% <100.00%> (ø)
...l/DoubleAndHyperComplexes/src/base_change_types.jl	95.23% <100.00%> (+0.23%)	⬆️
src/Modules/ModulesGraded.jl	73.72% <100.00%> (ø)
...mplexes/src/Objects/cartan_eilenberg_resolution.jl	75.67% <75.67%> (ø)

... and 6 files with indirect coverage changes