math/geometry added
math/geometry: convex_polytope class added, convex_polytope can check if a point is inside the defined convex polytope
Merge branch 'master' of https://github.com/acfr/snark