Updated lrs_polyhedron_util and poly_add_module to (mostly) work with the new term structure. Untested.
Merge remote-tracking branch 'origin/new' into new