Device Manager CLI

To print all available commands and options use:

pio device --help
pio device COMMAND --help