.gitignore, parser.mli: ignore