Add runtime tool with version to board preferences

If two vendors declare the same tool (name and version) and platform.txt requires {runtime.tool-version.path}, the tool is chosen randomly.
This patch completes 6f24fa6

Author: facchinm

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

@@ -223,6 +223,7 @@ static public PreferencesMap getBoardPreferences() {
       }
       String toolPath = folder.getAbsolutePath();
       prefs.put(prefix + tool.getName() + ".path", toolPath);
+      prefs.put(prefix + tool.getName() + "-" + tool.getVersion() + ".path", toolPath);
       PreferencesData.set(prefix + tool.getName() + ".path", toolPath);
       PreferencesData.set(prefix + tool.getName() + "-" + tool.getVersion() + ".path", toolPath);
     }