Add GMP to list of required things echo'ed on `make setup`
Add GMP to list of required things echo'ed on `make setup`

Is a requirement of zarith.
If it is not installed, setup will fail (after some time).

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer