Move Polyhedra class into lib/