On my thinkpad running Debian 9.0, I don't use any tool. Just connect a cable to the usb port, and
'cp chip.bin /dev/ttyACM0' works for me.
For limited monitoring, before doing the 'cp' command you can do this:
(stty raw -echo;cat) </dev/ttyACM0 &
ttyUSB0 device which is implemented by a hardware usb-serial chip on the myStorm,
ttyACM0 is implemented by software running on the STM32. So when you reset the board, the device goes away and must be recreated on the linux side. By the time this is done, the initial startup messages from the board will have been sent and lost. For more complete monitoring, you can connect a second usb cable to the
ttyUSB0 port, which survives across resets.
If you're not getting bitstreams to load, check that your linux system isn't trying to start a login process on
ttyACM0 when it appears.