programmers: allow overriding default programmer#947

facchinm merged 1 commit intoarduino:mainarduino/ArduinoCore-mbed:mainfrom

facchinm:fix_programmers_selectionfacchinm/ArduinoCore-mbed:fix_programmers_selectionCopy head branch name to clipboard