Merge pull request #619 from Chris00/master

oasis2opam 0.2.4
Rename gsl-ocaml to gsl (with Markus' agreement).