GitHub - openai/codex: Lightweight coding agent that runs in your terminal