Python保存任意长度的matplotlib动画为GIF动图

任务描述：

使用Python+matplotlib绘制散点图动画模拟随机游走的布朗运动，每个散点符号表示一个分子，每个散点符号都有不同的预期停靠位置，当随机游走到停靠位置之后不再运动，最后把完整动画保存为GIF动图。由于每个分子的运动都是随机的，无法确定什么时候才能到达预期的终点，所以整个动画的时长是不确定的，可能短也可能很长。

参考代码：