add isl_polytope_scan application