Add functionality in sage to compute the cohomology ring of a simplicial complex.

This relies on #6099, #6100, and #5882.

These will be examples of graded alebras, finite as modules over their bases, that are graded-commutative.

Depends on #19179

CC: @jhpalmieri @sagetrac-fbreuer @tscrim @fchapoton

Component: algebraic topology

Author: John Palmieri, Travis Scrimshaw

Branch/Commit: 9bfc2d2

Reviewer: Travis Scrimshaw, John Palmieri

Issue created by migration from https://trac.sagemath.org/ticket/6102