Added a -o option

Because there is a problem when doing mir-crunch ... > something in a opam config exec … in mirari.