Document xcode_workspace option