Add micmp binary in gitignore