vivado: enable bitstream compression (optional)