openai codex vs github coding agent