Rename MP1.ml to mp1/mp1.ml