move polytope vertex computation into TerrainSegmentation
remove terrain demo, which belongs in DRC
switch from pycddlib to PyPolyhedron to avoid crash