Support for XSA files

[lleon95]

CYNQ can receive the bitstream only and work with it. However, it implies some drawbacks:

1. The addresses and offsets cannot be guessed: user is required to find them in Vivado and Vitis HLS
2. The clocks cannot be guessed: user is required to set a frequency for the design

To workaround this, we can use the .xsa file, which contains the .bit and the .hwh file. The former contains:

• IP names
• Addresses and offsets
• Clocks