bugfix keep_strongly_connected_components, rename discretize arg plotting -> plotit, polytope functions: first ax, then show args, default show=False, always return ax