solver: using configurable files for LPs
You asked it, there it is
======
- Also passed Black to solver.py.
- LP_kernel now returns the mapping, no need to call sol2output (consistency with LP_one_instr).
- Adding a "quiet" option for LP functions.
- Using more often "with" statements
Edited by DERUMIGNY Nicolas