Use mirari
Remove mirari.ml
Update gitignore
Remove temp files
Update Makefile
Update to latest mirari
Update to latest mirari
Improve Makefile and add missing dependency