+Mindstorm 0.5.4

You can use opam 1.2 syntax already, just use `opam-version: "1.2"`.