mibuild/xilinx_ise: add support for custom tools and options