A Docker image to build Xilinx FPGA bitstreams from verilog source - View it on GitHub