added functionality to split and new methods in Nef_polyhedron that regularizes things and avoids non valid Nefs