update StatePolytope examples with polymake 2.13-1