Add Filliâtre's MIPS generation lib