libflint-arb-dev does not exist anymore in ubuntu-latest

Background: arb was merged into flint

Author: fingolfin

tools/gather_dependencies.py

@@ -38,7 +38,7 @@
         "texlive-fonts-recommended",
     ],
     "localizeringforhomalg": ["singular"],
-    "normalizinterface": ["libeantic-dev", "libflint-arb-dev", "libflint-dev"],
+    "normalizinterface": ["libeantic-dev", "libflint-dev"],
     "polymaking": ["polymake"],
     "ringsforhomalg": ["singular"],
     "singular": ["singular"],