OpenAI Codex CLI: Lightweight coding agent that runs in your terminal