[计算几何]Graham算法构造凸包（重制）

创作环境：manim，pr，arctime
格雷厄姆扫描算法（Graham scan algorithm）是美国数学家罗纳德·格雷厄姆（Ronald Graham）于1972年发布的一种时间复杂度为O（n log n）的在平面上找到一组有限点的凸包的算法，是求解凸包的最优算法。