Arb: give the GMP paths to "make install"

Thanks to Isuru Fernando (@isuruf) for spotting this.