gh-36691: Implement twisted homology of simplicial sets.

    
Right now we can compute universal covers of simplicial sets if the
fundamental group is finite. This PR implements
twisted homology with respect to the abelianization character.

In particular, if the fundamental group is abelian, this gives modules
whose underlying additive group are isomorphic to the homology groups of
the universal cover.

Addresses #36690


### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
    
URL: #36691
Reported by: miguelmarco
Reviewer(s): Enrique Manuel Artal Bartolo, John H. Palmieri, miguelmarco