mibuild: add support for Yosys