Module migration

[HechtiDerLachs]

Takes care of the splitting of UngradedModules.jl as in #3041 . Should this be merged, we can rebase the other.

[thofma]

Thanks. I tried to look at this file recently and I would love to see it split up!

[codecov]

Codecov Report

Merging #3042 (512fe21) into master (8484e83) will increase coverage by 0.11%.
Report is 5 commits behind head on master.
The diff coverage is 83.25%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3042      +/-   ##
==========================================
+ Coverage   80.31%   80.43%   +0.11%     
==========================================
  Files         492      520      +28     
  Lines       69528    70074     +546     
==========================================
+ Hits        55844    56365     +521     
- Misses      13684    13709      +25     

Files	Coverage Δ
src/Modules/UngradedModules/Hom_and_ext.jl	98.33% <98.33%> (ø)
src/Modules/UngradedModules/Presentation.jl	97.67% <97.67%> (ø)
src/Modules/UngradedModules/FreeModElem.jl	95.60% <95.60%> (ø)
src/Modules/UngradedModules/Tensor.jl	93.58% <93.58%> (ø)
src/Modules/UngradedModules/HomologicalAlgebra.jl	90.85% <90.85%> (ø)
src/Modules/UngradedModules/FreeMod.jl	83.65% <83.65%> (ø)
src/Modules/UngradedModules/FreeModuleHom.jl	85.71% <85.71%> (ø)
src/Modules/UngradedModules/DirectSum.jl	83.84% <83.84%> (ø)
src/Modules/UngradedModules/FreeResolutions.jl	87.96% <87.96%> (ø)
src/Modules/UngradedModules/SubquoModuleElem.jl	82.96% <82.96%> (ø)
... and 5 more

... and 18 files with indirect coverage changes

[jankoboehm]

Thanks a lot, we will do still a few adjustments and then we can got ahead.

[ederc]

Thank you @HechtiDerLachs. We should also think about renaming the files resp. folder (maybe not in this PR) since there are many calls to is_graded().

[HechtiDerLachs]

For me personally it would be best if any changes to this pr could be kept to a minimum for the moment, since I will have to rebase #3041 on this. Thus I would be in favor to postpone renamings and the like.