Implementation of #3 (CGAL Polyhedron_3 conversion) + .OFF export