Fix polymake 3.4's lrslib detection, add dependency on ppl

[mkoeppe]

polymake 3.4 has an updated lrslib detection code that fails to recognize the installed lrslib from Sage on macOS.

[mkoeppe]

Dima - of course, adding --with-lrs="$SAGE_LOCAL" to polymake's configure conflicts with your efforts with spkg-configure.m4. What should I do?

---

Last 10 new commits:

​666db96	Added two missing optional tags
​4e91dcc	Change format of a 'not tested' doc test annotation
​05f3e61	update docs, as discussed on #24905
​53c8ee6	Mention libterm-readkey-perl
​b613e57	Mention libterm-readline-gnu-perl
​e5c3249	polymake: Mention MOngoDB for polydb
​b89376a	polymake: Update info on macOS
​0c1b044	polymake: update MongoDB information for linux distros
​2eda6e1	polymake: add to fedora instructions
​5916141	Fix polymake lrslib detection

[dimpase]

Replying to mkoeppe:

Dima - of course, adding --with-lrs="$SAGE_LOCAL" to polymake's configure conflicts with your efforts with spkg-configure.m4. What should I do?

No worries, lrs has not been spkg-configurified yet, see #27330 (your help in reviewing there is most welcome, by the way, e.g. all these readline and curses packages...). We should do lrs too, I just opened #27804 for this. So we will need to change that hardcoded value of its prefix to whatever configure finds. Already did this for GMP etc, so no big problem I gather.

[dimpase]

ready for review?

[mkoeppe]

The relevant output (without this patch) from polymake's configure in build/bundled.log:

---- lrs ----

Could not compile a test program checking for lrs library.
The most probable reasons are that the library is installed at a non-standard location,
is not configured to build a shared module, or missing at all.
The complete error log follows:

ld: library not found for -llrs
clang: error: linker command failed with exit code 1 (use -v to see invocation)

Please install the library and specify its location using --with-lrs option, if needed.
Please remember to enable shared modules when configuring the lrs library!

As Benjamin pointed out, the error message does not match the one expected by bundled/lrs/support/configure.pl script, which tries to be too helpful.

[dimpase]

tests fine.

[mkoeppe]

This branch has been merged already as part of #22704.