Add mindstorm 0.5.3
mindstorm.0.5.3: add depexts
oasis2opam 0.4.5
Merge pull request #1901 from Chris00/master

Add mindstorm 0.5.3