[gretl/f15] (3 commits) ...update to recent upstream version

[hannes]

Summary of changes:

  db7b50e... rebuild with new gmp (*)
  3e50bcf... update to recent upstream release (*)
  350f712... update to recent upstream version (*)

(*) This commit already existed in another branch; no separate mail sent