OpenAI Codex: A coding agent that automates code workflows, tests & PRs