Use the local installation of openocd in place of the old one of the arduino package #4483 (#4484)
Use the local installation of openocd in place of the old one of the arduino package #4483 (#4484)

* Add the local installation of openocd as first choice

* correct the formating

* replace path concatenation by path.join

* Minor fix

switch-education/pxt,switch-education/pxt,playi/pxt,switch-education/pxt,switchinnovations/pxt,Microsoft/pxt,Microsoft/pxt,playi/pxt,switchinnovations/pxt,switch-education/pxt,Microsoft/pxt,switchinnovations/pxt,switch-education/pxt,Microsoft/pxt,Microsoft/pxt,switchinnovations/pxt,playi/pxt,playi/pxt