Updates gitignore to ignore mif'