Adds polyhedron-polyhedron intersections and convex hull-based triangulation in 3d.
Outlook/side note: this probably also enables #707 in 3d.