Add user agent in the connection to api-builder.arduino.cc/builder/v1/boards/

Author: Mattia Bertorello

arduino-core/src/processing/app/Platform.java

@@ -208,6 +208,9 @@ public synchronized void getBoardWithMatchingVidPidFromCloud(String vid, String
     try {
       URL jsonUrl = new URL("http", "api-builder.arduino.cc", 80, "/builder/v1/boards/0x"+vid+"/0x"+pid);
       URLConnection connection = jsonUrl.openConnection();
+      String userAgent = "ArduinoIDE/" + BaseNoGui.VERSION_NAME + " Java/"
+                  + System.getProperty("java.version");
+      connection.setRequestProperty("User-agent", userAgent);
       connection.connect();
       HttpURLConnection httpConnection = (HttpURLConnection) connection;
       int code = httpConnection.getResponseCode();