mibuild: add support for Yosys
mibuild: use keyword arguments directly in build_cmdline