fix proto numeration

Author: alessio-perugini

Diff for: rpc/cc/arduino/cli/commands/v1/common.pb.go

@@ -119,28 +119,28 @@ message PlatformRelease {
   // Name used to identify the platform to humans (e.g., "Arduino AVR Boards").
   string name = 1;
   // Version of the platform release
-  string version = 5;
+  string version = 2;
   // Type of the platform.
-  repeated string type = 6;
+  repeated string type = 3;
   // True if the platform is installed
-  bool installed = 7;
+  bool installed = 4;
   // List of boards provided by the platform. If the platform is installed,
   // this is the boards listed in the platform's boards.txt. If the platform is
   // not installed, this is an arbitrary list of board names provided by the
   // platform author for display and may not match boards.txt.
-  repeated Board boards = 8;
+  repeated Board boards = 5;
   // A URL provided by the author of the platform's package, intended to point
   // to their online help service.
-  HelpResources help = 9;
+  HelpResources help = 6;
   // This field is true if the platform is missing installation metadata (this
   // happens if the platform has been installed with the legacy Arduino IDE
   // <=1.8.x). If the platform miss metadata and it's not indexed through a
   // package index, it may fail to work correctly in some circumstances, and it
   // may need to be reinstalled. This should be evaluated only when the
   // PlatformRelease is `Installed` otherwise is an undefined behaviour.
-  bool missing_metadata = 10;
+  bool missing_metadata = 7;
   // True this release is deprecated
-  bool deprecated = 11;
+  bool deprecated = 8;
 }
 
 message InstalledPlatformReference {