In gap 4.13 there are some improvements, e.g. converting fp groups to
permutation groups, computing abelianization of fp groups, which lead to
different generators.

This commit fixes doctests so they pass using gap 4.13.

…ests

Co-authored-by: Max Horn <max@quendi.de>

…ose test suite is disabled

…ced to dummy from list of packages whose test suite is disabled

There are a few simplicial set tests that require the polenta package
with gap-4.13.x. We declare a new feature to support the corresponding
"needs" tag.

…ackage

Three tests in this file need the GAP package "polenta" to be
installed; otherwise, the output (although perhaps not _wrong_) is not
quite what we expect.

Fixes gap-system/gap#5796

This is the patch I'm using on Gentoo, it combines the upstream fix
and one of its dependencies (without which the desired fix does not
apply). Without it, you'll get some test failures with gap-4.13.x
when GRAPE happens to be installed.

I've left the upper bound in there, but set to "5.0.0" which should
have no real effect. But if 4.14.0 comes out and breaks somes tests,
it's a lot easier to tweak the existing upper bound than it is to add
one (again) and reindent everything.

Force these consumers of libgap to be rebuilt after the recent GAP
upgrade.