Try running ldd on the openocd binary to see what happens. This should report info about shared libraries being used. and might give a clue as to what is wrong.
One possibility is that you have a 32-bit openocd binary in which case you would need 32-bit libraries. Try running file on the openocd binary to see what it says.
The Arduino upload still fails with the exact same error message.
Looking at the error message, it would appear that the arduino package installed some version of openocd deep inside its directory structure:
/home/robin/snap/arduino-mhall119/3/.arduino15/packages/sifive/tools/openocd/9bab0782d313679bb0bfb634e6e87c757b8d5503/bin/openocd: error while loading shared libraries: libusb-1.0.so.0: cannot open shared object file: No such file or directory
Other things: this is a brand new virtual machine running a fresh install of Ubuntu 18.04.
One other strange behavior is that when I connect a minicom to the SiFive and hit reset, I get the superman logo as expected. For some reason though, I can’t type the ‘y’ to indicate that I see the LED fading. The board ignores (or isn’t getting) my keyboard input.
The issue is that I was installing Arduino from the Ubuntu software center. As enticing as it was to install that way, the version in the Ubuntu software center does not work with SiFive, as per what I discovered above. If you want it to work, you MUST install directly from Arduino.com.