How to install fpga-icestorm-chipdb on Debian 9 (Stretch)