Update isl + polylib + barvinok packages

[mkoeppe]

added in #23547

(from #30494) polylib is broken with current compilers. Last release was made 12 years ago, but repo https://repo.or.cz/w/polylib.git has commits in 2022

CC: @jhpalmieri

Component: packages: optional

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

[mkoeppe]

comment:1

Probably best to wait for a polylib release

[slel]

comment:2

The polylib webpage

• http://icps.u-strasbg.fr/polylib/

also advertises a change of license:

2021: Polylib moved to MIT license.

[jhpalmieri]

comment:3

Replying to @mkoeppe:

Probably best to wait for a polylib release

Should it be downgraded to "experimental" until then?

[mkoeppe]

comment:4

Yes, that's a good idea