Implement read_off
Implement stream manipulators for polyhedron output.

Deprecate previous interface and use pure iostream interface + stream
manipulators.