remove mirage-dev from here now that mirage-2 is in opam-repository