Microbit via WebUSB on Ubuntu 18.04