Add mif file in gitignore