[PPL-devel] Documenting the classes PolyBase, Polyhedron and NNC_Polyhedron.