Minor release of Stone 0.3.1
Merge pull request #1439 from Armael/master

Minor release of Stone 0.3.1
Merge https://github.com/OCamlPro/opam-repository
Updated GPR to version 1.1.2 (using Oasis 0.4 now)