gitignore mosek logfiles