[libpolymake_julia] rebuild with new libjulia for older Oscar versions

[benlorenz]

Since #11607 will be for future Oscar versions only, this rebuild would help get julia 1.12 working with Oscar 1.4.

cc: @fingolfin @lgoettgens

[lgoettgens]

You don't need to bump the version here as you just change a build dependency, see #11553 and #11561.
If you don't change the version numbers, you don't need to do another Polymake.jl release just to update the provided jll version.

[benlorenz]

You don't need to bump the version here as you just change a build dependency, see #11553 and #11561. If you don't change the version numbers, you don't need to do another Polymake.jl release just to update the provided jll version.

The compat in Polymake.jl allows a patch level bump without a new release.
With the version bumps it is slightly cleaner as it makes sure libpolymake_julia and polymake_oscarnumber are matching, and disallows a mix between an updated and an old version.

[lgoettgens]

You don't need to bump the version here as you just change a build dependency, see #11553 and #11561. If you don't change the version numbers, you don't need to do another Polymake.jl release just to update the provided jll version.

The compat in Polymake.jl allows a patch level bump without a new release. With the version bumps it is slightly cleaner as it makes sure libpolymake_julia and polymake_oscarnumber are matching, and disallows a mix between an updated and an old version.

In my memory, polymake_oscarnumber_jll was specified with a =version qualifier. But that's not the case, so just ignore everything I wrote