Merge pull request #620 from Chris00/master

Rename gsl-ocaml to gsl (with Markus' agreement).
Update dependencies gsl-ocaml → gls.
Update gpr 1.1.0 using oasis2opam
Update libsvm-ocaml