ci: Update mac build agents versions (#2139)

- Update mac agent to 13.5 which is close to developer's local versions.
- new mac agent syntax is same as ubuntu agents

Author: xli1996

.semaphore/semaphore.yml

@@ -31,7 +31,7 @@ blocks:
     task:
       agent:
         machine:
-          type: s1-prod-macos
+          type: s1-prod-macos-13-5-amd64
       jobs:
         - name: 'Build and test'
           commands: