MuJoCo 3.13.0 发布：新增 discrete 积分器与 Python 3.15 支持

MuJoCo 3.13.0 发布，新增 discrete 积分器，将约束求解与隐式速度更新合并为一步，使被动弹簧和执行器位置增益在远超显式稳定极限的时间步下保持稳定。该版本还新增 Python 3.15（GIL 与自由线程）支持、站点几何关联网格、传感器 cutoff 属性，并移除 implicit/implicitfast 下 flex 有效度量的特例，相关模型需改用 discrete 积分器。