remove duped devices, and sort to ensure they always stay in the same place in the menu
remove duped devices, and sort to ensure they always stay in the same place in the menu

espruino/EspruinoTools,espruino/EspruinoTools