Package Xilinx FPGA tools into docker containers, useful for CI situations.