math/libnormaliz: Update to 3.8.5

• Bugfixes.
• Workflow improvements.
• Improvements for some computations.
• New feature: computation of refined triangulations, using all input

generators or all lattice points in a polytope or being unimodular.

• Optional packages have been updated to the latest versions.

Approved by: gerald (mentor)