gitignore mosek logs