A package for computations with convex polyhedra