Update to Normaliz 3.11.1#123

fingolfin merged 2 commits intomastergap-packages/NormalizInterface:masterfrom

mh/normaliz-3.11.1gap-packages/NormalizInterface:mh/normaliz-3.11.1Copy head branch name to clipboard