Disable presolver by default in MIP

Use the simplex method instead. This fixes status reporting
for infeasible problems. Presolving is still available as an option.
Update README and LICENSE