update opam dependency from gsl (>1.0.0)