FTheoryTools: Yet more documentation changes

[HereAround]

Release notes:

• #5083 Breaking: Remove support for set-functions of metadata attributes of literature models.
• #5083 Breaking: Remove support for (most) has-functions, to tell if a (literature) model has a particular attribute.
• #5083 Introduce add_torsion_section method.

Preview

Preview of the overhauled documentation should become available at https://docs.oscar-system.org/previews/PR5083/Experimental/FTheoryTools/introduction/.

What is in this PR

• Explain model sections and alike clearly in the documentation.
• Remove various set_* and has_* functions, and streamline the code
• Cox ring of family of spaces is now a decorated ring, rather than a "plain" polynomial ring
• Centrally define types for all section attributes and ensure correct type casting in add methods.
• Add add_torsion_section method.
• Split attributes of AbstractFTheoryModels according to content to organize them better.
• Create functions for getters of precomputed data with macro to streamline code/enhance its maintainability.

[codecov]

Codecov Report

Attention: Patch coverage is 79.78437% with 75 lines in your changes missing coverage. Please review.

Project coverage is 84.84%. Comparing base (bce167f) to head (1c0c511).
Report is 1 commits behind head on master.

Files with missing lines	Patch %	Lines
.../FTheoryTools/src/AbstractFTheoryModels/methods.jl	3.77%	51 Missing ⚠️
.../FTheoryTools/src/LiteratureModels/constructors.jl	90.26%	11 Missing ⚠️
...ools/src/AbstractFTheoryModels/basic_attributes.jl	76.00%	6 Missing ⚠️
experimental/FTheoryTools/src/auxiliary.jl	70.58%	5 Missing ⚠️
...s/src/AbstractFTheoryModels/computed_attributes.jl	95.45%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #5083      +/-   ##
==========================================
- Coverage   84.91%   84.84%   -0.07%     
==========================================
  Files         706      710       +4     
  Lines       95627    95432     -195     
==========================================
- Hits        81197    80974     -223     
- Misses      14430    14458      +28     

Files with missing lines	Coverage Δ
...rc/AbstractFTheoryModels/precomputed_attributes.jl	100.00% <100.00%> (ø)
...heoryTools/src/AbstractFTheoryModels/properties.jl	80.00% <ø> (-13.11%)	⬇️
...yTools/src/AbstractFTheoryModels/qsm_attributes.jl	100.00% <100.00%> (ø)
...ls/src/AbstractFTheoryModels/section_attributes.jl	100.00% <100.00%> (ø)
...ntal/FTheoryTools/src/FamilyOfSpaces/attributes.jl	100.00% <100.00%> (ø)
...al/FTheoryTools/src/FamilyOfSpaces/constructors.jl	83.33% <100.00%> (+16.66%)	⬆️
...xperimental/FTheoryTools/src/G4Fluxes/auxiliary.jl	94.60% <ø> (ø)
...perimental/FTheoryTools/src/G4Fluxes/properties.jl	100.00% <100.00%> (ø)
...TheoryTools/src/HypersurfaceModels/constructors.jl	96.19% <ø> (ø)
...eoryTools/src/Serialization/hypersurface_models.jl	97.05% <ø> (ø)
... and 11 more

... and 2 files with indirect coverage changes

🚀 New features to boost your workflow:

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

[emikelsons]

Looks good with some changes in mind for a future PR.

[HereAround]

I assume that @apturner is ok with these changes. At least - no complaints reached me since we discussed this PR last Thursday. As such, will now merge this.