coin-or-Clp/.gitignore