add *.cmi files to gitignore