Implemented the support for the 'BBC micro:bit' device. micropython

CircuitPythonDevices: added some TODO markers. micropython added a patch provided by Guðjón Guðjónsson.

MicroPythonReplWidget: fixed the devices rescan behaviour. micropython

Merged with default branch. micropython

Created global tag <release-19.08>. maintenance

Merged with 'default' branch to prepare new release. maintenance release-19.08

CircuitPython: added code to flash a new CircuitPython firmware. micropython

Fixed some code style issues. micropython

EspDevices, MicrobitDevices: removed the obsolete 'handleDataFlood()' override. micropython

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip

eric ide