Polyhedron, associated classes, and some tests moved to external library.
No changes between version 4 and version 4