Implement functionality in sage to return the ZZ-graded cohomology with GF(p)-coefficients of an arbitrary simplicial complex as a module over the Steenrod algebra A(p).

This will depend on #6099, #6100, #6101, and #5882. The methodolgy will be similar to that implemented in the ticket #6102.

CC: @jhpalmieri @antieau

Component: algebraic topology

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