Automatic correct firmware flashing

This MR adds the ability to flash the appropriate firmware hosted in the repo:

bdaq53 --firmware BDAQ53

This command inspects the bdaq53 installation to decide where to download the firmware, decompresses the firmware after downloading and flashed the firmware using vivado tcl. If the filename exists locally it is preffered. If the firmware does not exist online a list of possibilities is provided. Either vivado or vivado_lab (free) versions have to be installed for this to work. Thus far, this is only tested under Linux.