gh-40522: Ore modules over PID
    
We improve the implementation of Ore modules to allow submodules and
(nontorsion) quotients over PID.

### 📝 Checklist

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.
    
URL: #40522
Reported by: Xavier Caruso
Reviewer(s): Rubén Muñoz--Bertrand, Xavier Caruso

Author: Release Manager

src/sage/modules/meson.build

@@ -47,6 +47,7 @@ py.install_sources(
   'vector_space_morphism.py',
   'vector_symbolic_dense.py',
   'vector_symbolic_sparse.py',
+  'submodule_helper.py',
   subdir: 'sage/modules',
 )