Let pipeline.hs deal with coefficients in the .lp.
Add some logging to pipeline.hs in case PORTA does not write the facets to disk when it's done.
Use PORTA elimination heuristic, and write facets to file as they are found, instead of at the end of the process.