doc: Xilinx bitfiles in web site