Grok Build vs Codex: Which Terminal Agent Is Better?