hide function is_adjacent, new: Polytope.is_adjacent
update doctoring and usage of is_adjacent
replace ConvexPolytope by Polytope in _region_diff
rename: box2poly -> box2convex_poly
new: boxes2poly