Replace opam by mirari in the help message. Fix #21.
Ongoing mirari run work
Improved Makefile
Mirari run for unix-socket backend: just run the program :p
Fixed mir-crunch