Fix tool download on 64-bit Windows
Fix tool download on 64-bit Windows

When compiling the agent on 64-bit Windows, tool downloads fail, as no
64-bit Windows builds of the tools are available (as far as I can tell).
This commit directs agents compiled for 64-bit Windows to just download
the 32-bit Windows variant of the tool.

Signed-off-by: Hanno Braun <97a26178972a16384b537a7180900cf940ee5c82@hannobraun.de>

arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent