make A,b properties and clear memorized values when A,b are changed

some callback mechanism will need to be implemented for ensuring that Polytope objects do not become outdated when a single ConvexPolytope is altered.