OpenAI 将收购初创公司 Astral，加大在编程领域的布局。