Improved the Polytope API somewhat, print_constraint now takes a const Constraint&, and not an index into the constraints vector.