crc: modify CRCChecker to remove CRC and clean up
xilinx_vivado: add parameters to pass specific commands (to be declared in platforms)
mibuild/xilinx_vivado: fix list aliasing problem