Modification du Makefile pour rajouter mips
ajout de mips.cmo etc...