conf-gmp: Add depext for Ubuntu

As per @samoht's https://github.com/ocaml/opam-repository/pull/1290#discussion_r7588303