Moved GPR to GitHub
Moved gsl-ocaml to GitHub
Merge pull request #2312 from mmottl/master

Moved GPR to GitHub