fixed scip.ml: return value of SCIPaddCut means infeasible, not feasible
adding a .gitignore file
some examples with axioms