Avoid duplicate lib flags in configuration for PolyML 5.5.1 (and above) under Darwin.

It is probably better to simplify things further, i.e. make sure users build PolyML using the option --enable-shared (which is no longer the default). In particular, -lgmp is problematic because not all users will build PolyML with GMP support enabled.