gh-35802: Implementing Golod complexes
### Implementing Golod (simplicial) complexes
<!-- Describe your changes here in detail. -->
<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes #12345". -->
<!-- If your change requires a documentation PR, please link it
appropriately. -->
This is a part of #35640 (GSoC 20223), relies on #35430 (bigraded Betti
numbers).
Added two methods: `is_golod()` and `is_minimally_non_golod()`, defined
for simplicial complexes. These are significant invariants used in toric
topology.
### :memo: Checklist
<!-- Put an `x` in all the boxes that apply. It should be `[x]` not `[x
]`. -->
- [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.
- [ ] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
URL: https://github.com/sagemath/sage/pull/35802
Reported by: Ognjen Petrov
Reviewer(s): Travis Scrimshaw
