polytope_scan: scans the integer points in a polytope