Add new utility function Polyhedron::Face::FromString().
Improve docs on Polyhedron.