Specify "--platform linux/amd64" in build-tools/docker/build.py, so that it doesn't try building arm64 on arm-based macs

Author: ImplOfAnImpl

build-tools/docker/build.py

@@ -34,6 +34,8 @@ def build_docker_image(dockerfile_path, image_name, tags, num_jobs=None):
     if num_jobs:
         command += f" --build-arg NUM_JOBS={num_jobs}"
 
+    command += " --platform linux/amd64"
+
     # Note: "plain" output is more verbose, but it makes it easier to understand what went wrong
     # when a problem occurs.
     command += " --progress=plain"