polytope_scan: use argp for argument parsing