Link against libgmp while using FLINT

Goal: avoid explicit libmpir in favor of libgmp since MPIR may be build in GMP-compatibility mode.