+Mindstorm 0.5.4
+oasis2opam 0.5.0
+Mindstorm 0.5.4 with typos corrected (opam version 1.2)
Make oasis2opam compatible with OCaml 3.12
Merge pull request #3051 from Chris00/master

+Mindstorm 0.5.4 & oasis2opam 0.5.0