Add coefficient_ring for modules and series and improve the docs for base_ring

[SoongNoonien]

This addresses #1207. Right now base_ring and coefficient_ring seem to be completely equivalent but with #2182 this will change. Depending on the merge order I can adjust this or the other PR to include an example (with universal polynomials) in the docs which clarifies the difference between base_ring and coefficient_ring.

[codecov]

Codecov Report

❌ Patch coverage is 85.71429% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 88.00%. Comparing base (10cb1ce) to head (7dd8e29).
⚠️ Report is 6 commits behind head on master.

Files with missing lines	Patch %	Lines
src/generic/QuotientModule.jl	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2185      +/-   ##
==========================================
+ Coverage   87.93%   88.00%   +0.07%     
==========================================
  Files         127      127              
  Lines       31802    32118     +316     
==========================================
+ Hits        27964    28266     +302     
- Misses       3838     3852      +14     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[fingolfin]

Thanks for starting this! BTW I think we can also do something like this for series rings

[SoongNoonien]

Ok, I think we can merge this as it is now and resolve #2187 with a follow up and possibly breaking PR.