Add preference to set a custom update url#865

AlbyIanna merged 1 commit intomainarduino/arduino-ide:mainfrom

custom-update-urlarduino/arduino-ide:custom-update-urlCopy head branch name to clipboard