refactor MILP solvers to provide generic interface solve_MILP
Polytope: add property SPANNING, a polytope is spanning if the lattice points generate the lattice
PointConfiguration: add property MASSIVE_GKZ_VECTOR for triangulation subobject
rand_sphere: can sample rational points from the unit sphere
n_triangulations: Renamed to n_fine_triangulations, documentation adapted accordingly