generic_platform: support name remapping
Support adding Verilog/VHDL files
xilinx_ise: support building files without running ISE