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