math/geometry: polytope.cpp no longer depends on dsdp
point_cloud/applications: points-grep bug fixes
Merge branch 'master' of https://github.com/acfr/snark